Alternatives and similar repositories for language-grammars:

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

• Alhadis / language-roff
  Atom support for Unix manual pages (Groff/Troff) and the historical RUNOFF language.
  ☆17Updated 8 months ago
• dginev / ar5iv-css
  Some CSS experiments for arXiv HTML documents converted via latexml
  ☆19Updated 2 weeks ago
• teorth / erdos-guy-selfridge
  Project to verify the Guy-Selfridge conjectures
  ☆14Updated this week
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• 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 5 months ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• xu-cheng / pandoc-katex
  Pandoc filter to render math equations using KaTeX
  ☆35Updated last year
• vtjnash / libwhich
  Like `which`, for dynamic libraries
  ☆39Updated 3 months ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆20Updated this week
• Battelle / vimmmex
  The vim execution engine
  ☆26Updated 7 years ago
• ahgamut / gcc
  ☆16Updated 2 weeks ago
• metacall / distributable-linux
  Linux redistributable for shipping MetaCall Core.
  ☆11Updated last month
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated last week
• ourresearch / openalex-website
  An open, comprehensive catalog of scholarship, connecting papers, authors, institutions, and journals.
  ☆10Updated last year
• YaelDillies / LeanAPAP
  Formalisation of the Kelley-Meka bound on Roth numbers
  ☆18Updated last week
• blacha / hyperfine-action
  Run hyperfine on every commit to monitor performance regressions
  ☆19Updated 3 weeks ago
• leahneukirchen / te
  tiny emacs
  ☆26Updated 3 years ago
• timbertson / piep
  Bringing the power of python to stream editing
  ☆50Updated 5 months ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆16Updated 6 months ago
• emacsmirror / wisp-mode
  Tools for wisp: the Whitespace-to-Lisp preprocessor
  ☆12Updated 6 months ago
• lark-parser / vscode-lark
  ☆31Updated last year
• snorerot13 / grap
  ☆32Updated last week
• codereport / plr
  GitHub repo backing Programming Language Ranking website ⬇️
  ☆33Updated 2 weeks ago
• jart / zsh
  Zsh patched to support Actually Portable Executables git://git.code.sf.net/p/zsh/code (upstream pending)
  ☆16Updated 4 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 3 months ago
• Xe / automuse
  Xe's stupid novel generation trickery
  ☆34Updated last year
• mattias-p / linky
  Extract and check links from Markdown files.
  ☆10Updated last year
• ronaldoussoren / altgraph
  altgraph is a fork of graphlib: a graph (network) package for constructing graphs, BFS and DFS traversals, topological sort, shortest pat…
  ☆23Updated last year