Similar repositories to input-output-hk/dev-handbook:
input-output-hk/dev-handbook
github
similar
danistefanovic/build-your-own-x
github
similar
postalhq/postal
github
similar
well-typed/qsm-in-depth
github
similar
input-output-hk/cardano-http-bridge
github
similar
input-output-hk/cardano-shell
github
similar
langston-barrett/write-yourself-a-scheme-in-agda
github
similar
turion/essence-of-live-coding
github
similar
input-output-hk/ouroboros-high-assurance
github
similar
input-output-hk/cardano-ledger-byron
github
similar
dockerpkg/dockerpkg-example
github
similar
input-output-hk/cardano-cli
github
similar
kazu-yamamoto/hhp
github
similar
nix-community/todomvc-nix
github
similar
ChrisPenner/Firefly
github
similar
input-output-hk/marlowe
github
similar
chriskempson/base16
github
similar
input-output-hk/iohk-ops
github
similar
derekelkins/agda-vim
github
similar
runtimeverification/iele-semantics
github
similar
diagrams/diagrams-lib
github
similar
ajgon/street-fighter-motd
github
similar
input-output-hk/rust-cardano
github
similar
illegalprime/nixos-on-arm
github
similar
purescript-contrib/purescript-vim
github
similar
input-output-hk/mantis
github
similar
ivanperez-keera/dunai
github
similar
ghc-ios/ghc-ios-scripts
github
similar
barrucadu/dejafu
github
similar
eckyputrady/haskell-scotty-realworld-example-app
github
similar
input-output-hk/cardano-ledger-specs
github
similar
travisbhartwell/nix-emacs
github
similar
aeternity/protocol
github
similar
nh2/static-haskell-nix
github
similar
pjotrp/guix-notes
github
similar
pigworker/CS410-17
github
similar
Mic92/nixos-shell
github
similar
input-output-hk/jormungandr
github
similar
input-output-hk/cardano-graphql
github
similar
ethereum/pydevp2p
github
similar