Trending Haskell repositories on GitHub โ ranked by total activity score (stars, forks, pushes, PRs) over the past month.
REST API for any Postgres database
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.
A shell script which checks your $HOME for unwanted files and directories.
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
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.
โ๏ธ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.
A programming language in Turkish where grammatical case and mood are part of the type system.
Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via LLMs.
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).
A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.
๐ฅ The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
Calendar of Public Holidays in China ไธญๅฝๅคง้่ๅๆฅๆฅๅ่ฎข้ ่ชๅจ่ๅๆฅ้น้
Official Haskell IDE support via the language server protocol (LSP)
:boom::computer::boom: A data-parallel functional programming language
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
Crucible is a library for symbolic simulation of imperative programs
Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.
