Repositories

Universal markup converter

ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

Dockerfile linter, validate inline bash, written in Haskell

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

The Haskell Tool Stack

The core component that is used to participate in a Cardano decentralised blockchain.

Official Haskell IDE support via the language server protocol (LSP)

Agda is a dependently typed programming language / interactive theorem prover.

Official upstream development repository for Cabal and cabal-install

The Plutus language implementation and tools

Haskell to VHDL/Verilog/SystemVerilog compiler

Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via LLMs.

The Daml smart contract language

Toolkit for converting and building songs for Rock Band, Guitar Hero, Clone Hero, and other similar rhythm games

No description provided.