Alternatives and similar repositories for A2rchi

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

• edemaine / mathcestor
  Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML
  ☆17Updated last year
• The-Clowder-Project / the-clowder-project
  This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general
  ☆32Updated this week
• schar / TDParse
  Type-driven syntactic and semantic effectful parsing for NL
  ☆15Updated last month
• dwrensha / tryAtEachStep
  Try a tactic at each step in a Lean proof.
  ☆29Updated 3 weeks ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆92Updated this week
• leanprover / verso
  Lean documentation authoring tool
  ☆192Updated last week
• brownsys / paralegal
  Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
  ☆24Updated this week
• jonathanichikawa / for-all-x
  Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa
  ☆17Updated 3 months ago
• EpicEricEE / typst-marge
  A Typst package for easy-to-use but powerful and smart margin notes.
  ☆13Updated 3 months ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆274Updated 7 months ago
• hpi-swa-lab / sb-tree-sitter
  Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars
  ☆14Updated last year
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆17Updated last year
• ionathanch / msc-thesis
  LaTeX source for Sized Dependent Types via Extensional Type Theory
  ☆12Updated 2 years ago
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆97Updated last month
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆61Updated last month
• lynn / typst-syntree
  Syntax trees for typst
  ☆36Updated 5 months ago
• SuperSonicHub1 / awesome-free-mit
  A collection of free stuff you can get at the Massachusetts Institute of Technology.
  ☆48Updated 3 months ago
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆94Updated last year
• ncatlab / nlab
  Source code for the nLab
  ☆178Updated 4 months ago
• bojanczyk / slajdomat
  A program for making zooming slides in figma.
  ☆37Updated 3 weeks ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆53Updated 2 weeks ago
• The-Mu-Foundation / Mutorials
  A free, adaptive, open-source trainer for physics, chemistry, biology, and earth & space science students.
  ☆19Updated 2 months ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆129Updated last year
• prajwalsouza / Maze-Solver
  Solves Mazes taking an image input, along with the starting and ending points. There are two Algorithms here which solve mazes. One of th…
  ☆18Updated last year
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆225Updated 3 weeks ago
• CooperUnion / selfdrive
  Autonomy Lab's monorepo
  ☆24Updated 2 months ago
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆62Updated 11 months ago
• wordplaydev / wordplay
  An accessible, language-inclusive programming language and IDE for creating interactive typography on the web.
  ☆72Updated 2 weeks ago