soupi/rfc

My slides and compilation of resources.

GitHub repository with 159 stars and 12 forks.

Language: Haskell

Topics: haskell, haskell-learning, articles

Open provider repository

Latest metric snapshot

2026-06-13: 159 stars and 12 forks.

Similar repositories

  1. 1. simonmichael/hledger

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

    GitHub repository with 4,532 stars and 388 forks.

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

    Language: Haskell

    Topics: accounting, command-line-tool, console-application, finance, haskell, haskell-applications

  2. 2. haskell/haskell-language-server

    Official Haskell IDE support via the language server protocol (LSP)

    GitHub repository with 2,931 stars and 439 forks.

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

    Language: Haskell

    Topics: lsp-server, haskell-language-server, ide, haskell, cabal, stack

  3. 3. dmjio/miso

    :ramen: A tasty Haskell web framework

    GitHub repository with 2,409 stars and 164 forks.

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

    Language: Haskell

    Topics: ghcjs, haskell, virtual-dom, miso, ramen, ui

  4. 4. iand675/hs-opentelemetry

    OpenTelemetry support for the Haskell programming language

    GitHub repository with 109 stars and 61 forks.

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

    Language: Haskell

    Topics: opentelemetry, haskell, honeycomb, prometheus, metrics, logging

  5. 5. rzk-lang/rzk

    An experimental proof assistant based on a type theory for synthetic ∞-categories.

    GitHub repository with 281 stars and 16 forks.

    Trending score: 0.54; stars gained: +1; forks gained: +0.

    Language: Haskell

    Topics: category-theory, homotopy-type-theory, proof-assistant, haskell

  6. 6. digitallyinduced/ihp

    🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

    GitHub repository with 5,290 stars and 221 forks.

    Trending score: 0.41; stars gained: +1; forks gained: +0.

    Language: Haskell

    Topics: haskell, postgresql, nix, mvc, html, framework

Trending in Haskell

  1. 1. XiayiZhang/Luguan

    🦌🧪️ Luguan is a programming lnguage. (Inline Brainfuck)

    GitHub repository with 19 stars and 1 forks.

    Trending score: 1.71; stars gained: +7; forks gained: +0.

    Language: Haskell

    Topics: brainfuck, functional-programming, programming-language

  2. 2. simonmichael/hledger

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

    GitHub repository with 4,532 stars and 388 forks.

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

    Language: Haskell

    Topics: accounting, command-line-tool, console-application, finance, haskell, haskell-applications

  3. 3. agda/agda

    Agda is a dependently typed programming language / interactive theorem prover.

    GitHub repository with 2,872 stars and 415 forks.

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

    Language: Haskell

    Topics: agda, dependent-types, programming-language, proof-assistant, type-theory

  4. 4. nammayatri/nammayatri

    A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.

    GitHub repository with 2,510 stars and 378 forks.

    Trending score: 1.20; stars gained: +3; forks gained: +1.

    Language: Haskell

  5. 5. simplex-chat/simplex-chat

    SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

    GitHub repository with 11,250 stars and 624 forks.

    Trending score: 1.10; stars gained: +0; forks gained: +1.

    Language: Haskell

  6. 6. garnix-io/garnix-ci

    CI and hosting for nix-based, flakified github repos

    GitHub repository with 422 stars and 41 forks.

    Trending score: 0.93; stars gained: +1; forks gained: +0.

    Language: Haskell

Trending topic: haskell

  1. 1. compiler-explorer/compiler-explorer

    Run compilers interactively from your web browser and interact with the assembly

    GitHub repository with 18,836 stars and 2,056 forks.

    Trending score: 1.69; stars gained: +4; forks gained: +1.

    Language: TypeScript

    Topics: rust, c-plus-plus, go, dlang, compiler, cpp

  2. 2. simonmichael/hledger

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

    GitHub repository with 4,532 stars and 388 forks.

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

    Language: Haskell

    Topics: accounting, command-line-tool, console-application, finance, haskell, haskell-applications

  3. 3. haskell/haskell-language-server

    Official Haskell IDE support via the language server protocol (LSP)

    GitHub repository with 2,931 stars and 439 forks.

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

    Language: Haskell

    Topics: lsp-server, haskell-language-server, ide, haskell, cabal, stack

  4. 4. dmjio/miso

    :ramen: A tasty Haskell web framework

    GitHub repository with 2,409 stars and 164 forks.

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

    Language: Haskell

    Topics: ghcjs, haskell, virtual-dom, miso, ramen, ui

  5. 5. iand675/hs-opentelemetry

    OpenTelemetry support for the Haskell programming language

    GitHub repository with 109 stars and 61 forks.

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

    Language: Haskell

    Topics: opentelemetry, haskell, honeycomb, prometheus, metrics, logging

  6. 6. rzk-lang/rzk

    An experimental proof assistant based on a type theory for synthetic ∞-categories.

    GitHub repository with 281 stars and 16 forks.

    Trending score: 0.54; stars gained: +1; forks gained: +0.

    Language: Haskell

    Topics: category-theory, homotopy-type-theory, proof-assistant, haskell