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
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 3 years ago
• ColinKennedy / tree-sitter-objdump
  Parse objdump files using tree-sitter
  ☆12Updated 2 years ago
• zyedidia / gpeg
  A PEG parsing machine with support for incremental parsing.
  ☆94Updated 9 months ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated 11 months ago
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆36Updated last week
• slightknack / treegrep
  Semantic find-and-replace using tree-sitter-based macro expansion!
  ☆16Updated 3 years ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆39Updated 10 months ago
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆37Updated last month
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆152Updated 5 months ago
• binpash / libdash
  The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…
  ☆46Updated 9 months ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆55Updated 5 years ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆75Updated 3 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago
• bakaq / bakage
  An experimental package manager for Scryer Prolog
  ☆21Updated last week
• Wilfred / garden
  an interactive programming language
  ☆49Updated this week
• jgm / djoths
  Haskell parser for the djot light markup language
  ☆27Updated 2 weeks ago
• mkhan45 / RustScript2
  RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.
  ☆43Updated 2 years ago
• igordejanovic / rustemo
  LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/
  ☆40Updated this week
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 3 years ago
• qexat / violette
  Violette is a simple functional programming language.
  ☆26Updated last month
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆77Updated 3 weeks 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, …
  ☆51Updated 10 years ago
• coetaur0 / nox
  The Nox programming language
  ☆30Updated 2 years ago
• nikodemus / foolang
  A toy programming language.
  ☆41Updated last year
• domdomegg / hindley-milner-typescript-minimal
  Extra minimal TypeScript implementation of Hindley-Milner type inference
  ☆34Updated 3 months ago
• mlochbaum / Singeli
  High-level interface for low-level programming
  ☆120Updated this week
• spadix0 / cZPeg
  Compile-Time Parsing Expression Grammars for Zig
  ☆11Updated 4 years ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆94Updated 10 months ago
• GrayJack / tree-sitter-zig
  Tree-sitter package for the Zig programming language
  ☆29Updated last year