jgm / pandoc
Universal markup converter
See what the GitHub community is most excited about today.
Universal markup converter
The core component that is used to participate in a Cardano decentralised blockchain.
👑 Format Haskell package descriptions.
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Accelerates K Framework's Haskell backend
A strongly-typed language that compiles to JavaScript
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Epitech project : Functional Programming
REST API for any Postgres database
An advanced keyboard manager
A friendly programming language from the future
A shell script which checks your $HOME for unwanted files and directories.
The ledger implementation and specifications of the Cardano blockchain.
Contributed modules for xmonad
The Plutus language implementation and tools
ShellCheck, a static analysis tool for shell scripts
Agda is a dependently typed programming language / interactive theorem prover.
SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
The symbolic execution engine powering the K Framework
🇪🇺 Wire back-end services
Official upstream development repository for Cabal and cabal-install