Alternatives and similar repositories for language-grammars

Users that are interested in language-grammars are comparing it to the libraries listed below

• Xe / wallpapers
  My public wallpapers for consumption by downstream projects
  ☆13Updated last year
• metacall / distributable-linux
  Linux redistributable for shipping MetaCall Core.
  ☆12Updated 3 weeks ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆29Updated last year
• teorth / erdos-guy-selfridge
  Project to verify the Guy-Selfridge conjectures
  ☆20Updated 2 weeks ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 7 months ago
• ggerganov / hnguessr
  Guess the Hacker News titles
  ☆11Updated 3 years ago
• ahalbert / ted
  A tool for editing files according to the rules of a provided Turing Machine
  ☆30Updated last month
• facebookincubator / cinderx
  High-performance Python runtime extensions
  ☆21Updated last week
• MurrayIII / UnicodeMathML
  JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…
  ☆29Updated last week
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆33Updated last month
• breck7 / leafdb.org
  A public domain database about trees.
  ☆16Updated last year
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆15Updated 2 years ago
• ajeetdsouza / brainfuck
  An optimizing Brainfuck interpreter.
  ☆14Updated 6 years ago
• edemaine / svgtiler
  Tool for drawing diagrams on a grid, combining grids of SVGs into a big SVG figure
  ☆63Updated 2 weeks ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆55Updated last year
• slightknack / treegrep
  Semantic find-and-replace using tree-sitter-based macro expansion!
  ☆16Updated 3 years ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆20Updated 2 years ago
• tekknolagi / skybison
  A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…
  ☆44Updated last year
• overleaf / real-time
  The socket.io layer of Overleaf for real-time editor interactions
  ☆17Updated 3 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆47Updated 2 months ago
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆70Updated 3 months ago
• eatkins / tree-sitter-ebnf-generator
  Convert an EBNF grammar to the tree-sitter dsl
  ☆27Updated last year
• muxup / pwr
  Paced web reader. An esoteric feed reader and workflow for keeping up to date online.
  ☆23Updated 5 months ago
• MarcelloTheArcane / tabloid-samples
  PLEASE LIKE AND SUBSCRIBE.
  ☆12Updated 4 years ago
• codigo-langs / codigo
  Language repository for Codigo, a collaborative programming language hub for discovering, comparing and sharing languages.
  ☆38Updated 3 weeks ago
• thoppe / NansAreNumbers
  An esoteric data type built entirely of NaNs.
  ☆75Updated 3 years ago
• makenowjust / bf.jq
  Brainfuck interpreter written in jq -- This is the proof that jq is turing-complete!
  ☆41Updated 10 years ago
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 3 years ago
• Alhadis / language-roff
  Atom support for Unix manual pages (Groff/Troff) and the historical RUNOFF language.
  ☆17Updated 10 months ago
• breck7 / pytree
  Tree Notation Python Library
  ☆14Updated 2 years ago