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
• broom-lang / broom
  A programming language with first-class modules and algebraic effects.
  ☆15Updated 2 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• slightknack / treegrep
  Semantic find-and-replace using tree-sitter-based macro expansion!
  ☆16Updated 2 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆29Updated last month
• ajeetdsouza / brainfuck
  An optimizing Brainfuck interpreter.
  ☆13Updated 5 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• MatthewFluet / tree-sitter-sml
  Standard ML (SML) grammar for tree-sitter
  ☆15Updated 5 months ago
• flix / book
  The Flix Programming Book
  ☆17Updated this week
• ColinKennedy / tree-sitter-objdump
  Parse objdump files using tree-sitter
  ☆12Updated last year
• xnning / Dissertation
  My PhD Thesis
  ☆14Updated 3 years ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 5 months ago
• jgm / djoths
  Haskell parser for the djot light markup language
  ☆24Updated 4 months ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆40Updated this week
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated 7 months ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆36Updated 2 months ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆21Updated last month
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated last month
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• nickel-lang / tree-sitter-nickel
  ☆15Updated last month
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆13Updated last month
• Wilfred / garden
  an interactive programming language
  ☆35Updated this week
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆15Updated 7 months ago
• oliver-giersch / looqueue-rs
  Fast, concurrent, safe MPMC & MPSC FIFO queue implementation
  ☆11Updated 3 years ago