facebookincubator / Glean
System for collecting, deriving and working with facts about source code.
See what the GitHub community is most excited about today.
System for collecting, deriving and working with facts about source code.
Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.
The core component that is used to participate in a Cardano decentralised blockchain.
How to learn front-end or back-end development
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
A secure, multilingual package manager for Arch Linux and the AUR.
Effectful Raw handler for Servant servers.
Universal markup converter
http://yannesposito.com/Scratch/en/blog/Yesod-tutorial-for-newbies/
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
generate haskell types for Squeal from a running postgresql database.
A logical authorization system
Code used throughout the Cardano eco-system
ShellCheck, a static analysis tool for shell scripts
Ethereum smart contract fuzzer
Dockerfile linter, validate inline bash, written in Haskell
Dapp, Seth, Hevm, and more
Networking library for Windows
Yet another ORM for haskell
Clearly-delineated error-handling
Koka language compiler and interpreter
A simple db for ingesting and indexing static datasets on disk
Yet another Blog engine written in Haskell powered by yesod.
Reach: The Safest and Easiest DApp Programming Language