hasura / graphql-engine
Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.
See what the GitHub community is most excited about today.
Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.
Successor of ghcide & haskell-ide-engine. One IDE to rule them all.
Projects and channels that have decided to leave Freenode. (Leave count as of 2021-06-13: 724)
The core component that is used to participate in a Cardano decentralised blockchain.
Cryptographic currency implementing Ouroboros PoS protocol
You've heard of the SKI combinators... How about the
The Haskell Tool Stack
Reference DAML application demonstrating a healthcare use case.
Reference DAML application demonstrating a bond issuance use case.
Reference DAML application demonstrating the use case of repackaging Mortgage Based Securities.
Future-proof note-taking and publishing based on Zettelkasten
Dockerfile linter, validate inline bash, written in Haskell
A protolude-based custom prelude for the Cardano project
Genetic Algorithm based randomized testing
An implementation of the Ouroboros family of consensus algorithms, with its networking support
Functional Programming Course
Command-line Kanban board/task manager with support for Trello boards and GitHub projects
This framework provides logging, benchmarking and monitoring.
Universal markup converter
Code used throughout the Cardano eco-system
A formal specification and executable model of the ledger rules introduced by the Shelley release
Compiler for Elm, a functional language for reliable webapps.
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...
The core of xmonad, a small but functional ICCCM-compliant tiling window manager