Alternatives and similar repositories for plgh

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

• eatkins / tree-sitter-ebnf-generator
  Convert an EBNF grammar to the tree-sitter dsl
  ☆28Updated last year
• zyedidia / gpeg
  A PEG parsing machine with support for incremental parsing.
  ☆93Updated 6 months ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated 8 months ago
• domdomegg / hindley-milner-typescript-minimal
  Extra minimal TypeScript implementation of Hindley-Milner type inference
  ☆31Updated 3 weeks ago
• fir-lang / fir
  Fir programming language
  ☆64Updated last week
• ColinKennedy / tree-sitter-objdump
  Parse objdump files using tree-sitter
  ☆12Updated last year
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆36Updated 2 weeks ago
• slightknack / treegrep
  Semantic find-and-replace using tree-sitter-based macro expansion!
  ☆16Updated 3 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 2 years ago
• GaloisInc / daedalus
  The Daedalus data description language
  ☆77Updated 4 months ago
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
  ☆149Updated 2 months ago
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆44Updated 11 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆30Updated last week
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆11Updated last year
• jgm / djoths
  Haskell parser for the djot light markup language
  ☆27Updated 10 months ago
• 8l / pijul
  Pijul is a free and open source version control system, intended to be simple to use, yet based on a sound theory of collaborative work, …
  ☆47Updated 9 years ago
• JonesBeach / memphis
  A ridiculous Python interpreter written—from scratch—in Rust.
  ☆24Updated last week
• Wilfred / garden
  an interactive programming language
  ☆45Updated last week
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆36Updated 7 months ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 3 years ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆72Updated 3 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆55Updated last week
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆92Updated last month
• mkhan45 / RustScript2
  RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.
  ☆41Updated 2 years ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆83Updated last month
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆73Updated last month
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆22Updated last year
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆94Updated 8 months ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆54Updated 4 years ago