Similar repositories to bch29/language-verification:

• gibiansky/IHaskell github similar
• bch29/language-verification github similar
• danistefanovic/build-your-own-x github similar
• bts/deferred-substitution github similar
• joelburget/lvca-hs github similar
• derekelkins/buffon github similar
• sayon/dwarf-vm github similar
• SamProtas/hs-triplesec github similar
• konnov/bymc github similar
• composewell/compact-list github similar
• gstew5/snarkl github similar
• cronburg/antlr-haskell github similar
• svenkeidel/sturdy github similar
• serokell/o-clock github similar
• ConsenSys/quorum-tools github similar
• kitten/extendable-immutable github similar
• mstksg/tensor-ops github similar
• xnning/GHC-Core-Literature-Review github similar
• cmcl/frankjnr github similar
• msp-strath/TypOS github similar
• jwiegley/control-theory github similar
• patrickt/fastsum github similar
• travitch/datalog github similar
• hopper-lang/hopper-v0 github similar
• dapphub/hevm github similar
• gasche/icfp2016-papers github similar
• glguy/irc-core github similar
• mrahtz/learning-from-human-preferences github similar
• conal/concat github similar
• bob-carpenter/prob-stats github similar
• amiller/HoneyBadgerBFT github similar
• UniMath/SymmetryBook github similar
• nmattia/snack github similar
• adjoint-io/bulletproofs github similar
• joelburget/react-haskell github similar
• dbousamra/hnes github similar
• ConsenSys/constellation github similar
• jyp/dante github similar
• seL4/l4v github similar
• kcsongor/generic-lens github similar