jgm / pandoc
Universal markup converter
See what the GitHub community is most excited about today.
Universal markup converter
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
Functional reactive web and mobile applications, with batteries included.
Blazing fast, instant realtime GraphQL APIs on Postgres with fine grained access control, also trigger webhooks on database events.
Reach: The Safest and Easiest DApp Programming Language
Like some files bro
REST API for any Postgres database
Reference DAML application demonstrating a bond issuance use case.
Functional Programming Course
An implementation of the Ouroboros family of consensus algorithms, with its networking support
Parsing, analyzing, and comparing source code across many languages
A library for building Haskell IDE tooling
Cryptographic currency implementing Ouroboros PoS protocol
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
A Haskell blog
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Reference DAML application demonstrating the use case of repackaging Mortgage Based Securities.
Reference DAML application demonstrating a healthcare use case.
The core component that is used to participate in a Cardano decentralised blockchain.
Launch processes with Vault secrets in the environment
A strongly-typed language that compiles to JavaScript
A statically typed lisp, without a GC, for real-time applications.