Trending Haskell repositories on GitHub โ ranked by total activity score (stars, forks, pushes, PRs) over the past month.
jupyter / jupyterlite kernel for Haskell powered by WebAssembly
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps ๐ฑ!
L4 - rules-as-code - is an open-source functional specification language for business rules, legal contracts, and legislation/regulation, with a CNL syntax for isomorphism.
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
An unofficial rules-compliant browser based version of Arkham Horror: The Card Game. Not produced, endorsed, or supported by, or affiliated with Fantasy Flight Games.
โฉ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.
โ๏ธ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
Nix expressions for VS Code Marketplace and Open VSX extensions [maintainers=@deemp, @ameertaweel]
ABS/MBS cashflow engine written in Haskell, with API to Python and C/Java (on the way)
A programming language in Turkish where grammatical case and mood are part of the type system.
๐ฅ The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.
Calendar of Public Holidays in China ไธญๅฝๅคง้่ๅๆฅๆฅๅ่ฎข้ ่ชๅจ่ๅๆฅ้น้
Official Haskell IDE support via the language server protocol (LSP)
Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode, bidirectional backlinks, and typography (sidenotes, dropcaps, link icons, inflation-adjustment, subscripted-citations).
The Lamdera compiler extends the official Elm compiler with tooling that works for any regular Elm frontend project, as well as specific features for Elm projects on Lamdera: A delightful platform for full-stack Elm web apps.
An experimental proof assistant based on a type theory for synthetic โ-categories.
