Alternatives and similar repositories for document-calculus

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

• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆55Updated 2 weeks ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆52Updated last week
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆55Updated 4 years ago
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆74Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆70Updated 6 months ago
• verse-lab / ego
  EGraphs in OCaml
  ☆66Updated last year
• jkoppel / ecta
  ☆36Updated last year
• T-Brick / c0deine
  Reference compiler for c0
  ☆36Updated 3 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆83Updated last month
• gelisam / typechecker-combinators
  ☆17Updated last year
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• lexa-lang / lexa
  ☆36Updated 2 weeks ago
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆25Updated 2 weeks ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated last month
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 7 months ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆32Updated 2 weeks ago
• coq-tactician / coq-tactician
  A Seamless, Interactive Tactic Learner and Prover for Coq
  ☆75Updated 3 weeks ago
• joom / dilim
  A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.
  ☆15Updated last year
• rocq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆38Updated last month
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• brown-cs22 / CS22-Lean-2023
  Lean course materials for Brown CS 22, Spring 2023
  ☆20Updated last year
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆74Updated 2 years ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆79Updated last week
• bynect / algorithm-w
  Type inference implementation in OCaml using Algorithm W
  ☆10Updated 4 years ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆72Updated last month
• rzrn / anders
  Anders: Cubical Type Checker
  ☆23Updated last year
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆131Updated 3 weeks ago
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆36Updated 7 years ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆27Updated this week