Trending Haskell repositories on GitHub โ ranked by total activity score (stars, forks, pushes, PRs) over the past month.
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps ๐ฑ!
Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via LLMs.
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
jupyter / jupyterlite kernel for Haskell powered by WebAssembly
A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.
An experimental proof assistant based on a type theory for synthetic โ-categories.
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.
Agda is a dependently typed programming language / interactive theorem prover.
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
Calendar of Public Holidays in China ไธญๅฝๅคง้่ๅๆฅๆฅๅ่ฎข้ ่ชๅจ่ๅๆฅ้น้
Official Haskell IDE support via the language server protocol (LSP)
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
:boom::computer::boom: A data-parallel functional programming language
Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView
๐ฅ The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
Nix expressions for VS Code Marketplace and Open VSX extensions [maintainers=@deemp, @ameertaweel]
The core component that is used to participate in a Cardano decentralised blockchain.
