Similar repositories to coq-contribs/miniml:

• coq-contribs/miniml github similar
• danistefanovic/build-your-own-x github similar
• johnfredcee/lispp github similar
• biocaml/biocaml github similar
• soupi/rfc github similar
• discus-lang/iron github similar
• digama0/mm0 github similar
• vsedach/Vacietis github similar
• DalekBaldwin/on-lisp github similar
• EgbertRijke/HoTT-Intro github similar
• rems-project/sail github similar
• the-little-prover/j-bob github similar
• mortberg/cubicaltt github similar
• HOL-Theorem-Prover/HOL github similar
• sharplispers/cormanlisp github similar
• JetBrains/Arend github similar
• artagnon/rhine-ml github similar
• IUCompilerCourse/Essentials-of-Compilation github similar
• CakeML/cakeml github similar
• grin-compiler/grin github similar
• robert-strandh/SICL github similar
• nakkaya/ferret github similar
• JeffBezanson/femtolisp github similar
• AbsInt/CompCert github similar
• LuxLang/lux github similar
• jozefg/learn-tt github similar
• dafny-lang/dafny github similar
• diku-dk/futhark github similar
• pixie-lang/pixie github similar
• janet-lang/janet github similar
• commonsense/conceptnet5 github similar
• froggey/Mezzano github similar
• milessabin/shapeless github similar
• coq/coq github similar
• ocaml/ocaml github similar
• Kindelia/HVM github similar
• norvig/paip-lisp github similar
• rxin/db-readings github similar
• DoctorWkt/acwj github similar
• Z3Prover/z3 github similar