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 📱!
Haskell
19,532 8
1,361
tweag/tricorder
Tricorder provides simple, fast, focused feedback when hacking on Haskell (with or without LLM agents).
Haskell
63 0
8
haskell/haskell-language-server
Official Haskell IDE support via the language server protocol (LSP)
Haskell
2,959 1
459
monoscope-tech/monoscope
Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via LLMs.
Haskell
1,894 5
81
agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
Haskell
2,931 0
429
hledgerorg/hledger
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
Haskell
4,750 2
415