Alternatives and similar repositories for document-calculus

Users that are interested in document-calculus are comparing it to the libraries listed below

• verse-lab / ego
  EGraphs in OCaml
  ☆80Updated 2 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆65Updated 2 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆95Updated this week
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆80Updated 3 weeks ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆46Updated last year
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆56Updated last week
• shriram / mystery-languages
  Mystery Languages
  ☆41Updated 2 years ago
• jkoppel / ecta
  ☆37Updated last year
• T-Brick / c0deine
  Reference compiler for c0
  ☆39Updated last month
• gelisam / typechecker-combinators
  ☆17Updated last year
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆39Updated 3 months ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆72Updated 11 months ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆31Updated last year
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆87Updated last month
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆37Updated this week
• alpha-convert / delta
  Implementation of the Delta Language
  ☆13Updated last year
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆75Updated 2 years ago
• wilbowma / llm-lang
  An LLM-first programming language.
  ☆33Updated 4 months ago
• WasmCert / WasmCert-Isabelle
  A mechanisation of Wasm in Isabelle.
  ☆32Updated 3 weeks ago
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆38Updated 7 years ago
• brown-cs22 / CS22-Lean-2023
  Lean course materials for Brown CS 22, Spring 2023
  ☆20Updated 2 years ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆65Updated this week
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆28Updated 2 years ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 8 months ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 6 months ago
• gregr / first-order-miniKanren
  miniKanren with a first-order representation of the search space
  ☆17Updated last year
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆38Updated this week
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 5 years ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆34Updated 5 months ago