🔥 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
Trending score 0.41, freshness score 0.94, stars gained +1, forks gained +0.
2026-06-15: 5,291 stars and 221 forks.
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
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
: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
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
🔥 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
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
🦌🧪️ 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
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
⚙️ 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
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
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
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
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
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
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
: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
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
🔥 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