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
  ☆65Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 2 months ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆45Updated 3 months ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆35Updated 11 months ago
• jkoppel / ecta
  ☆35Updated last year
• alpha-convert / delta
  Implementation of the Delta Language
  ☆8Updated last year
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• lexa-lang / lexa
  ☆33Updated 7 months ago
• rocq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆35Updated 2 weeks ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆45Updated 3 months ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆36Updated 9 months 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
• plfa / plfl
  Programming Language Foundations in Lean
  ☆36Updated 3 weeks ago
• verse-lab / lean-ssr
  LeanSSR: an SSReflect-Like Tactic Language for Lean
  ☆35Updated last week
• harp-lab / slog-lang1
  Slog 1.0
  ☆42Updated 11 months ago
• gelisam / typechecker-combinators
  ☆17Updated last year
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 6 years ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆76Updated this week
• avigad / qpf
  Datatypes as quotients of polynomial functors
  ☆35Updated 5 years ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆27Updated last year
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 4 months ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆28Updated 3 weeks ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated this week
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆59Updated last year
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆35Updated last year
• dboulytchev / miniKanren-coq
  A certified semantics for relational programming workout.
  ☆26Updated 4 years ago
• xnning / MpEff
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆29Updated 4 years ago
• RedPRL / algaett
  🦠 An experimental elaborator for dependent type theory using effects and handlers
  ☆36Updated last year