haskell/cabal
Official upstream development repository for Cabal and cabal-install
Haskell
1,744 2
756
haskell/haskell-language-server
Official Haskell IDE support via the language server protocol (LSP)
Haskell
2,959 8
459
agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
Haskell
2,931 14
429
IntersectMBO/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
Haskell
3,175 7
760
mtolly/onyx
Toolkit for converting and building songs for Rock Band, Guitar Hero, Clone Hero, and other similar rhythm games
Haskell
300 9
22
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 168
81