Trending
See what the GitHub community is most excited about today.
input-output-hk / cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
koalaman / shellcheck
ShellCheck, a static analysis tool for shell scripts
PostgREST / postgrest
REST API for any Postgres database
andrisaar / transactional-memory
Various things about transactional memory
dapphub / dapptools
Dapp, Seth, Hevm, and more
purescript / purescript
A strongly-typed language that compiles to JavaScript
hasura / graphql-engine
Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.
input-output-hk / cardano-wallet
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
input-output-hk / cardano-base
Code used throughout the Cardano eco-system
bitnomial / prometheus
Prometheus.io Haskell client.
tweag / asterius
A Haskell to WebAssembly compiler
kolmodin / hinotify
Haskell binding to inotify
input-output-hk / cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
input-output-hk / cardano-db-sync
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
haskell / haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
unisonweb / unison
A friendly programming language from the future
brendanhay / amazonka
A comprehensive Amazon Web Services SDK for Haskell.
koka-lang / koka
Koka language compiler and interpreter
haskell / cabal
Official upstream development repository for Cabal and cabal-install
jgm / pandoc
Universal markup converter
input-output-hk / plutus
The Plutus language implementation and tools
hadolint / hadolint
Dockerfile linter, validate inline bash, written in Haskell
reach-sh / reach-lang
Reach: The Safest and Easiest DApp Programming Language
elm / compiler
Compiler for Elm, a functional language for reliable webapps.