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
• slightknack / treegrep
  Semantic find-and-replace using tree-sitter-based macro expansion!
  ☆16Updated 3 years ago
• nickel-lang / tree-sitter-nickel
  ☆16Updated 2 months ago
• ColinKennedy / tree-sitter-objdump
  Parse objdump files using tree-sitter
  ☆12Updated last year
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year
• surprisetalk / smel
  ☆13Updated last month
• jgm / djoths
  Haskell parser for the djot light markup language
  ☆25Updated 6 months ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆15Updated this week
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 2 weeks ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 2 weeks ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 4 months ago
• FStarLang / steel
  The Steel separation logic library for F*
  ☆33Updated last month
• GrayJack / tree-sitter-janet
  A tree-sitter grammar parser for Janet
  ☆16Updated 2 years ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 7 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆43Updated 2 months ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• flix / book
  The Flix Programming Book
  ☆17Updated this week
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆13Updated 3 months ago
• nixosbrasil / climod
  Modular generated command line interfaces using the same technology as the NixOS module system.
  ☆44Updated 2 years ago
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated 9 months ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆31Updated last month
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆33Updated this week
• xnning / Dissertation
  My PhD Thesis
  ☆13Updated 3 years ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆31Updated 3 months ago
• TyOverby / sdui
  A frontend for the 1111 stable diffusion API
  ☆18Updated this week
• langston-barrett / mogglo
  Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
  ☆30Updated 9 months ago
• nickel-lang / json-schema-to-nickel
  Convert JSON schemas into Nickel contracts
  ☆36Updated this week
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆23Updated this week