Alternatives and similar repositories for plgh

Users that are interested in plgh are comparing it to the libraries listed below

• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• 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
  ☆34Updated 4 months ago
• GrayJack / tree-sitter-janet
  A tree-sitter grammar parser for Janet
  ☆16Updated 2 years ago
• surprisetalk / smel
  ☆13Updated 3 weeks ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 9 months 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, …
  ☆46Updated 9 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆50Updated 3 months ago
• andrewchambers / magnet-linux
  A decentralized linux distribution.
  ☆12Updated 3 years ago
• GaloisInc / daedalus
  The Daedalus data description language
  ☆72Updated 2 months ago
• slightknack / treegrep
  Semantic find-and-replace using tree-sitter-based macro expansion!
  ☆16Updated 3 years ago
• massung / tabular-asa
  A column-oriented, dataframe implementation for Racket.
  ☆17Updated 2 months ago
• broom-lang / broom
  A programming language with first-class modules and algebraic effects.
  ☆14Updated 2 years ago
• lexi-lambda / racket-toolbox
  Miscellaneous Racket utilities lacking a better home
  ☆12Updated 6 months ago
• markus1189 / dyalog-nixos
  Run dyalog APL and RIDE on nixos
  ☆20Updated last year
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆19Updated 5 months ago
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆33Updated 3 weeks ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• tearflake / symbolverse
  minimalistic symbolic term rewriting framework
  ☆15Updated 2 weeks ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated 2 years ago
• catseye / Vinegar
  MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail
  ☆13Updated last year
• lambduli / minilog
  A small logic programming language.
  ☆16Updated last year
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆22Updated last month
• flix / book
  The Flix Programming Book
  ☆18Updated last week
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year
• ianthehenry / macaroni
  macro spaghetti code
  ☆28Updated 2 years ago
• jackfirth / racket-package-template
  My personal template repository for Racket packages
  ☆16Updated 4 years ago
• MatthewFluet / tree-sitter-sml
  Standard ML (SML) grammar for tree-sitter
  ☆15Updated last week