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 2 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.
  ☆96Updated 11 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆36Updated 2 years ago
• sdiehl / zero-to-qed
  From Zero to QED: An informal introduction to formality with Lean 4
  ☆71Updated this week
• Rexicon226 / zob
  Zig Optimizing Backend
  ☆24Updated 7 months ago
• GaloisInc / daedalus
  The Daedalus data description language
  ☆87Updated this week
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 3 years ago
• Fault-lang / Fault
  a language for building system dynamic models
  ☆169Updated 3 weeks ago
• slightknack / treegrep
  Semantic find-and-replace using tree-sitter-based macro expansion!
  ☆16Updated 3 years ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated last year
• domdomegg / hindley-milner-typescript-minimal
  Extra minimal TypeScript implementation of Hindley-Milner type inference
  ☆34Updated 3 weeks ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆94Updated 3 weeks ago
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆46Updated 3 months ago
• qexat / violette
  Violette is a simple functional programming language.
  ☆26Updated 2 months ago
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆44Updated last month
• Wilfred / garden
  an interactive programming language
  ☆51Updated this week
• AbstractMachinesLab / tree-sitter-sexp
  Tree sitter grammar for S-expressions
  ☆26Updated 5 years ago
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆62Updated 6 months ago
• mingodad / parsertl-playground
  A web based playground for parsertl/lexertl
  ☆28Updated 4 months ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆28Updated 2 years ago
• UoYCS-plasma / GP2
  The rule-based graph programming language GP 2
  ☆72Updated last month
• 6cdh / tree-sitter-racket
  Racket parser for tree-sitter
  ☆35Updated 3 weeks ago
• kubkon / zacho
  Like otool but written from scratch in Zig
  ☆47Updated 4 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 3 years ago
• Verdagon / Vale
  Compiler for the Vale programming language - http://vale.dev/
  ☆34Updated last year
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆30Updated last year
• frankmcsherry / datatoad
  An interactive Datalog
  ☆64Updated last week
• bakaq / bakage
  An experimental package manager for Scryer Prolog
  ☆21Updated last month
• coetaur0 / nox
  The Nox programming language
  ☆31Updated 2 years ago