haskell / haskell-language-server
Official Haskell IDE support via the language server protocol (LSP)
See what the GitHub community is most excited about today.
Official Haskell IDE support via the language server protocol (LSP)
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
A shell script which checks your $HOME for unwanted files and directories.
Dockerfile linter, validate inline bash, written in Haskell
A friendly programming language from the future
Agda is a dependently typed programming language / interactive theorem prover.
The Daml smart contract language
Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via LLMs.
REST API for any Postgres database
The core component that is used to participate in a Cardano decentralised blockchain.
Universal markup converter
Toolkit for converting and building songs for Rock Band, Guitar Hero, Clone Hero, and other similar rhythm games