Similar repositories to CakeML/regression:

• CakeML/regression github similar
• gibiansky/IHaskell github similar
• machine-intelligence/Botworld.HOL github similar
• maoe/influxdb-haskell github similar
• haskell/pretty github similar
• haskell-mafia/mafia github similar
• discus-lang/ddc github similar
• lenary/idris-erlang github similar
• ekmett/guanxi github similar
• mirleft/ocaml-tls github similar
• ollef/Earley github similar
• GaloisInc/ivory github similar
• seL4/l4v github similar
• mit-plv/fiat-crypto github similar
• haskell/criterion github similar
• CakeML/cakeml github similar
• ndmitchell/shake github similar
• urweb/urweb github similar
• MLton/mlton github similar
• Gabriel439/Haskell-Turtle-Library github similar
• ocaml/opam github similar
• quchen/articles github similar
• Marwes/combine github similar
• clash-lang/clash-compiler github similar
• input-output-hk/plutus github similar
• AbsInt/CompCert github similar
• jOOQ/jOOL github similar
• jgm/gitit github similar
• sigp/lighthouse github similar
• agda/agda github similar
• FStarLang/FStar github similar
• typelead/eta github similar
• gluon-lang/gluon github similar
• idris-lang/Idris-dev github similar
• seL4/seL4 github similar
• Frege/frege github similar
• input-output-hk/cardano-sl github similar
• lampepfl/dotty github similar
• jOOQ/jOOQ github similar
• WebAssembly/binaryen github similar