yolc-dev/yul-dsl-monorepo

The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).

GitHub repository with 40 stars and 4 forks.

Language: Haskell

Topics: category-theory, compiler, dsl, haskell, linear-types, solidity, yul

Open provider repository

Latest metric snapshot

2026-06-05: 40 stars and 4 forks.

Trending in Haskell

  1. 1. garnix-io/garnix-ci

    CI and hosting for nix-based, flakified github repos

    GitHub repository with 397 stars and 41 forks.

    Trending score: 2.05; stars gained: +10; forks gained: +1.

    Language: Haskell

  2. 2. jgm/pandoc

    Universal markup converter

    GitHub repository with 44,612 stars and 3,885 forks.

    Trending score: 1.61; stars gained: +49; forks gained: +2.

    Language: Haskell

    Topics: pandoc, haskell, markdown, markup, converter, publishing

  3. 3. monoscope-tech/monoscope

    Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via LLMs.

    GitHub repository with 1,025 stars and 40 forks.

    Trending score: 1.37; stars gained: +19; forks gained: +2.

    Language: Haskell

    Topics: haskell, logs, metrics, monitoring, observability, opentelemetry

  4. 4. simonmichael/hledger

    Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

    GitHub repository with 4,520 stars and 386 forks.

    Trending score: 1.03; stars gained: +5; forks gained: +0.

    Language: Haskell

    Topics: hledger, haskell, ledger, web-application, console-application, command-line-tool

  5. 5. hadolint/hadolint

    Dockerfile linter, validate inline bash, written in Haskell

    GitHub repository with 12,181 stars and 493 forks.

    Trending score: 0.69; stars gained: +4; forks gained: +0.

    Language: Haskell

  6. 6. nasa/ogma

    Generator of runtime monitors for flight and robotics applications.

    GitHub repository with 565 stars and 52 forks.

    Trending score: 0.62; stars gained: +2; forks gained: +1.

    Language: Haskell

    Topics: assurance, autonomy, cfs, embedded-systems, flight-software, fprime

Trending topic: category-theory

  1. 1. replikativ/katzen

    Generalized algebraic theories and categorical programming for Clojure.

    GitHub repository with 13 stars and 0 forks.

    Trending score: 0.50; stars gained: +2; forks gained: +0.

    Language: Clojure

    Topics: algebraic-data-types, category-theory, clojure, verification

  2. 2. sderosiaux/every-single-day-i-tldr

    A daily digest of the articles or videos I've found interesting, that I want to share with you.

    GitHub repository with 331 stars and 18 forks.

    Trending score: 0.04; stars gained: +0; forks gained: +0.

    Topics: technology, watch, scala, javascript, java, bigdata

  3. 3. hghalebi/category_theory_transformer_rs

    Tiny ML, Rust types, and category theory, executable structure, not AI magic.

    GitHub repository with 105 stars and 8 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: Rust

    Topics: category-theory, learning-by-building, machine-learning, rust, type-systems, ai-engineering