Alternatives and similar repositories for A2rchi

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

• hpi-swa-lab / sb-tree-sitter
  Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars
  ☆14Updated 3 weeks ago
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆95Updated last year
• schar / TDParse
  Type-driven syntactic and semantic effectful parsing for NL
  ☆15Updated 5 months ago
• dwrensha / tryAtEachStep
  Try a tactic at each step in a Lean proof.
  ☆30Updated last week
• EpicEricEE / typst-marge
  A Typst package for easy-to-use but powerful and smart margin notes.
  ☆16Updated 7 months ago
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆19Updated 2 years ago
• cpitclaudel / academic-poster-template
  An HTML+CSS template for making more accessible posters
  ☆91Updated 3 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆26Updated last week
• nathanieljohnston / game-of-life-book
  A textbook for Conway's Game of Life.
  ☆35Updated 3 years ago
• ionathanch / msc-thesis
  LaTeX source for Sized Dependent Types via Extensional Type Theory
  ☆12Updated 3 years ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• edemaine / mathcestor
  Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML
  ☆17Updated last year
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆125Updated last week
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆113Updated last month
• 1000-plus / 1000-plus.github.io
  https://1000-plus.github.io/
  ☆17Updated 5 months ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆15Updated last year
• UofS-CEPHIL / modelcollab
  A web-based application for collaborating on simulation models in real-time using Firebase
  ☆37Updated 11 months ago
• quinn-dougherty / ladr
  linear algebra done right in coq
  ☆11Updated 4 years ago
• SWI-Prolog / npm-swipl-wasm
  SWI-Prolog WebAssembly build as a NPM package
  ☆53Updated this week
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated 4 months ago
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆62Updated last year
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆158Updated 3 months ago
• quantified-uncertainty / squiggle
  This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast
  ☆196Updated this week
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆25Updated this week
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆160Updated last year
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆40Updated 2 years ago
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆65Updated this week
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆22Updated last month