jgm / pandoc
Universal markup converter
See what the GitHub community is most excited about today.
Universal markup converter
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
Compiler for Elm, a functional language for reliable webapps.
Implementation of the Hydra Head protocol
REST API for any Postgres database
Ethereum smart contract fuzzer
🇪🇺 Wire back-end services
A Haskell library that simplifies access to remote data, such as databases or web-based services.
An advanced keyboard manager
Toolkit for converting and building songs for Rock Band, Guitar Hero, Clone Hero, and other similar rhythm games
ShellCheck, a static analysis tool for shell scripts
A static website compiler library in Haskell
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
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.
Updating nixpkgs packages since 2018