Alternatives and similar repositories for language-grammars:

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

• YaelDillies / LeanAPAP
  Formalisation of the Kelley-Meka bound on Roth numbers
  ☆17Updated this week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆29Updated this week
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• glacode / yamma
  VSCode extension for Metamath
  ☆9Updated this week
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• blacha / hyperfine-action
  Run hyperfine on every commit to monitor performance regressions
  ☆19Updated last year
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆49Updated last year
• Enter-tainer / jogs
  ☆23Updated 3 weeks ago
• Mathics3 / mathicsscript
  Terminal CLI to Mathics3
  ☆58Updated this week
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated 8 months ago
• leanprover / lean-client-js
  ☆37Updated last year
• drom / awesome-tree-sitter
  Curated list of awesome tree-sitter language grammars, bindings, tools, libraries
  ☆44Updated 3 years ago
• ImperialCollegeLondon / M1F-explained
  A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"
  ☆11Updated last year
• lf- / typst-algorithmic
  Algorithm pseudocode typesetting library for Typst
  ☆15Updated 9 months ago
• PhelypeOleinik / lipsum
  150 paragraphs of Lorem ipsum dummy text for LaTeX
  ☆13Updated last year
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 2 months ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• zoomlogo / vim-apl
  ☆11Updated last year
• Xe / wallpapers
  My public wallpapers for consumption by downstream projects
  ☆13Updated 10 months ago
• typst / pixglyph
  OpenType glyph rendering.
  ☆20Updated 2 months ago
• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆10Updated 7 years ago
• emacsmirror / wisp-mode
  Tools for wisp: the Whitespace-to-Lisp preprocessor
  ☆12Updated 3 months ago
• bdtc / lwarp
  The LaTeX lwarp package — Convert LaTeX to HTML.
  ☆35Updated 11 months ago
• MiniZinc / minizinc-js
  Use MiniZinc in the browser or with NodeJS
  ☆33Updated this week
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated last year
• dginev / CorTeX
  A general purpose processing framework for corpora of scientific documents
  ☆58Updated 9 months ago
• RalfJung / bubblebox
  Simple Application Sandboxing
  ☆19Updated 5 months ago
• m4lvin / tablean
  Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.
  ☆13Updated last year
• cognitive-engineering-lab / doclang-benchmark
  ☆14Updated last year
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆23Updated last week