Alternatives and similar repositories for language-grammars:

Users that are interested in language-grammars 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
• drom / awesome-tree-sitter
  Curated list of awesome tree-sitter language grammars, bindings, tools, libraries
  ☆47Updated 3 years ago
• Xe / wallpapers
  My public wallpapers for consumption by downstream projects
  ☆13Updated last year
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 4 months ago
• Alhadis / language-roff
  Atom support for Unix manual pages (Groff/Troff) and the historical RUNOFF language.
  ☆17Updated 7 months ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• facebookincubator / cinderx
  High-performance Python runtime extensions
  ☆13Updated this week
• timbertson / piep
  Bringing the power of python to stream editing
  ☆50Updated 4 months ago
• TimoKats / inspyr
  Automatically generated text for brainstorming/mindmapping purposes.
  ☆25Updated last year
• andrewchambers / ddmin-python
  A python implementation of delta debugging tool.
  ☆23Updated last year
• openreview / openreview
  The most recent documentation of OpenReview
  ☆19Updated last week
• ul-fmf / mlfmf-data
  Machine Learning for Mathematical Formalization
  ☆11Updated 8 months ago
• chrisdavies / dbench
  An unscientific benchmark of SQLite vs the file system (btrfs)
  ☆54Updated 3 years ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• RalfJung / bubblebox
  Simple Application Sandboxing
  ☆18Updated 7 months ago
• 8LWXpg / typst-ansi-render
  provides a simple way to render text with ANSI escape sequences in typst
  ☆19Updated 3 weeks ago
• learnbyexample / regexp-cut
  Use awk to provide cut like syntax for field extraction
  ☆16Updated 3 years ago
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆69Updated last month
• justinmeiners / why-train-when-you-can-optimize
  Learn multi-variable optimization by creating a drawing assistant. No deep learning required!
  ☆27Updated 2 years ago
• PhelypeOleinik / lipsum
  150 paragraphs of Lorem ipsum dummy text for LaTeX
  ☆14Updated last year
• cognitive-engineering-lab / doclang-benchmark
  ☆14Updated last year
• eatkins / tree-sitter-ebnf-generator
  Convert an EBNF grammar to the tree-sitter dsl
  ☆26Updated last year
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated this week
• ggerganov / hnguessr
  Guess the Hacker News titles
  ☆11Updated 3 years ago
• hpyproject / hpyproject.org
  Use Nikola to build hpypjoject.org
  ☆30Updated 4 months ago
• Ninroot / nacre
  Intuitive Shell
  ☆36Updated 2 years ago
• underthreaded / dvlg
  A markup language for high efficiency note taking
  ☆15Updated 4 months ago
• gpoore / fvextra
  extensions for the LaTeX fancyvrb package, including a better \Verb, automatic line breaking, and improved math mode
  ☆27Updated this week
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆33Updated last year
• edemaine / svgtiler
  Tool for drawing diagrams on a grid, combining grids of SVGs into a big SVG figure
  ☆62Updated last month