Similar repositories to kfl/verified-monkey-island:

• kfl/verified-monkey-island github similar
• kb-dk/KaptajnKaper github similar
• chriskempson/base16 github similar
• SMLFamily/The-Mechanization-of-Standard-ML github similar
• SMLFamily/SML-The-Living-Language github similar
• nominolo/lambdachine github similar
• david-christiansen/idris-type-providers github similar
• OCamlPro/ollvm github similar
• msakai/toysolver github similar
• Ravenbrook/mlworks github similar
• prowdsponsor/esqueleto github similar
• chrisdone/duet github similar
• Lemmih/lhc github similar
• advancedtelematic/quickcheck-state-machine github similar
• kfl/mosml github similar
• simonmar/par-tutorial github similar
• melsman/mlkit github similar
• CraneStation/lightbeam github similar
• tamarin-prover/tamarin-prover github similar
• ekmett/trifecta github similar
• MichaelXavier/Angel github similar
• i-am-tom/holmes github similar
• sweirich/dth github similar
• jrh13/hol-light github similar
• paf31/purescript-thermite github similar
• HeinrichApfelmus/threepenny-gui github similar
• esumii/min-caml github similar
• owickstrom/komposition github similar
• HOL-Theorem-Prover/HOL github similar
• Hirrolot/metalang99 github similar
• transient-haskell/transient github similar
• ollef/sixten github similar
• CakeML/cakeml github similar
• MLton/mlton github similar
• AccelerateHS/accelerate github similar
• Gabriel439/Haskell-Turtle-Library github similar
• lasp-lang/lasp github similar
• langjam/langjam github similar
• dibyendumajumdar/ravi github similar
• moby/datakit github similar