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 📱!
ShellCheck, a static analysis tool for shell scripts
A multilingual package manager for Arch Linux and the AUR.
Dockerfile linter, validate inline bash, written in Haskell
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
The Plutus language implementation and tools
A shell script which checks your $HOME for unwanted files and directories.
Liquid Types For Haskell
Horn Clause Constraint Solving for Liquid Types
Implementation of the Hydra Head protocol
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.