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,291 stars and 221 forks.

Language: Haskell

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

Open provider repository

24h trend summary

Trending score 0.41, freshness score 0.94, stars gained +1, forks gained +0.

Latest metric snapshot

2026-06-15: 5,291 stars and 221 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. 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

  5. 5. 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,291 stars and 221 forks.

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

    Language: Haskell

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

  6. 6. clash-lang/clash-compiler

    Haskell to VHDL/Verilog/SystemVerilog compiler

    GitHub repository with 1,599 stars and 166 forks.

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

    Language: Haskell

    Topics: haskell, hardware-description-language, fpga, vhdl, verilog, systemverilog

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. 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 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. 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,291 stars and 221 forks.

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

    Language: Haskell

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