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
  ☆26Updated last year
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆29Updated 2 months ago
• nickel-lang / tree-sitter-nickel
  ☆15Updated last month
• ColinKennedy / tree-sitter-objdump
  Parse objdump files using tree-sitter
  ☆12Updated last year
• slightknack / treegrep
  Semantic find-and-replace using tree-sitter-based macro expansion!
  ☆16Updated 2 years ago
• janestreet / ppx_js_style
  Code style checker for Jane Street Packages
  ☆19Updated 4 months ago
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆28Updated 3 weeks ago
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆15Updated 8 months ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 2 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• tree-sitter / tree-sitter-agda
  Agda grammar for tree-sitter
  ☆34Updated 4 months ago
• xnning / Dissertation
  My PhD Thesis
  ☆13Updated 3 years ago
• elpinal / subtyping-agda
  Some rudimentary proofs on subtyping
  ☆11Updated 3 years ago
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆13Updated 2 months ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 3 years ago
• jgm / djoths
  Haskell parser for the djot light markup language
  ☆24Updated 5 months ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆22Updated last week
• jkoppel / ecta
  ☆34Updated 11 months ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• TyOverby / sdui
  A frontend for the 1111 stable diffusion API
  ☆17Updated 3 weeks ago
• ajeetdsouza / brainfuck
  An optimizing Brainfuck interpreter.
  ☆13Updated 5 years ago
• flix / book
  The Flix Programming Book
  ☆17Updated last week
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated 9 months ago