Alternatives and similar repositories for miking

Users that are interested in miking are comparing it to the libraries listed below

• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated last week
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆46Updated 4 months ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆73Updated last year
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆27Updated last year
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆59Updated last year
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated 10 months ago
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆43Updated 2 years ago
• rocq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆36Updated last week
• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆31Updated 4 years ago
• rocq-community / topology
  General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
  ☆48Updated 7 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆51Updated 3 months ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆36Updated 3 weeks ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 4 years ago
• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆146Updated this week
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 3 months ago
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆73Updated 2 weeks ago
• grievejia / pyre-ast
  pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its a…
  ☆40Updated 10 months ago
• sorawee / pretty-expressive-ocaml
  An implementation of "A Pretty Expressive Printer" in OCaml
  ☆25Updated last year
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆81Updated 4 years ago
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 6 years ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 4 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 4 months ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆24Updated last month
• T-Brick / c0deine
  Reference compiler for c0
  ☆36Updated last week
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• rlepigre / ocaml-bindlib
  Efficient binder representation in OCaml
  ☆42Updated 11 months ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• lpw25 / girards-paradox
  A "implementation" of Girard's paradox in OCaml
  ☆108Updated 10 years ago