clash-lang/ghc-typelits-knownnat

Derive KnownNat constraints from other KnownNat constraints

GitHub repository with 14 stars and 12 forks.

Language: Haskell

Open provider repository

Latest metric snapshot

2026-06-15: 14 stars and 12 forks.

Similar repositories

  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: hledger, haskell, ledger, web-application, console-application, command-line-tool

  3. 3. simplex-chat/simplexmq

    ⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.

    GitHub repository with 805 stars and 97 forks.

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

    Language: Haskell

  4. 4. 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

  5. 5. 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

  6. 6. 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

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: hledger, haskell, ledger, web-application, console-application, command-line-tool

  3. 3. simplex-chat/simplexmq

    ⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.

    GitHub repository with 805 stars and 97 forks.

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

    Language: Haskell

  4. 4. 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

  5. 5. 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

  6. 6. 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