Similar repositories to haroldcarr/blockchain-with-linear-types:
haroldcarr/blockchain-with-linear-types
github
similar
gibiansky/IHaskell
github
similar
cocreature/llreve-backend
github
similar
GuglielmoS/pbtonplmt
github
similar
danistefanovic/build-your-own-x
github
similar
trufflesuite/ganache-cli
github
similar
elliottt/layout-rules
github
similar
metric-space/tiny-scheduler
github
similar
ElvishJerricco/purescript-packages2nix
github
similar
andrewthad/banking-transactions
github
similar
factisresearch/graph-core
github
similar
limeburst/cadet
github
similar
ElvishJerricco/reflex-websockets
github
similar
merijn/lambda-except
github
similar
ekmett/compiler
github
similar
bgamari/ring-buffer
github
similar
dimitri-xyz/frtrader
github
similar
wereHamster/nauva
github
similar
tel/hotep
github
similar
GaloisInc/cryptol-semantics
github
similar
robrix/abstract-interpretation
github
similar
haskell-perf/strict-bytestring-builders
github
similar
ekmett/concurrent
github
similar
mikeizbicki/homoiconic
github
similar
LouisJenkinsCS/LLVM-JVM
github
similar
elliottt/dang
github
similar
steshaw/tdd-with-idris
github
similar
nmattia/haskell-hot-swap
github
similar
ConferOpenSource/refurb
github
similar
abarbu/haskell-mobile
github
similar
supermario/hilt
github
similar
geisha-lang/Geisha
github
similar
wavewave/haskell-android-example
github
similar
mstksg/backprop-learn
github
similar
vindaloo-thesis/idris-se
github
similar
jonascarpay/convoluted
github
similar
jcmincke/Blast
github
similar
gelisam/conway
github
similar
m0ar/lollipop
github
similar
haskell-suite/haskell-tc
github
similar