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-Mu-Foundation / Mutorials
  A free, adaptive, open-source trainer for physics, chemistry, biology, and earth & space science students.
  ☆19Updated 2 weeks ago
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆18Updated 2 years ago
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆64Updated 2 weeks ago
• SuperSonicHub1 / awesome-free-mit
  A collection of free stuff you can get at the Massachusetts Institute of Technology.
  ☆51Updated 5 months ago
• flywhl / logis
  Turn your git commit history into a scientific log
  ☆46Updated 7 months ago
• quantified-uncertainty / squiggle
  This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast
  ☆193Updated last week
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 10 months ago
• potassco / clorm
  🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
  ☆58Updated last month
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆93Updated last year
• uwdata / living-papers
  Authoring tools for scholarly communication. Create interactive web pages or formal research papers from markdown source.
  ☆147Updated 5 months ago
• ianarawjo / notate-jupyter
  Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.
  ☆37Updated 2 years ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆111Updated this week
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆18Updated last year
• UofS-CEPHIL / modelcollab
  A web-based application for collaborating on simulation models in real-time using Firebase
  ☆37Updated 10 months ago
• nathanieljohnston / game-of-life-book
  A textbook for Conway's Game of Life.
  ☆35Updated 3 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated 2 months ago
• edemaine / comingle
  Multiroom meeting app integrating web tools
  ☆48Updated last year
• cognitive-engineering-lab / quizicist
  AI-powered quiz generator
  ☆27Updated 2 years ago
• complex-analysis / source
  This repository contains the source html files for the website complex-analysis.com
  ☆16Updated 3 months ago
• agoose77 / literary
  Literate Python package development with Jupyter
  ☆12Updated last month
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆153Updated 2 months ago
• rocq-community / vsc-conceal
  Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]
  ☆60Updated 2 years ago
• SWI-Prolog / npm-swipl-wasm
  SWI-Prolog WebAssembly build as a NPM package
  ☆52Updated this week
• jonathanichikawa / for-all-x
  Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa
  ☆19Updated 5 months ago
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆92Updated 10 months ago
• worm-blossom / macromania
  Macro-based string templating.
  ☆23Updated 3 months ago
• ionathanch / msc-thesis
  LaTeX source for Sized Dependent Types via Extensional Type Theory
  ☆12Updated 2 years ago
• 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
  ☆37Updated 3 weeks ago
• engraftdev / engraft
  ☆43Updated last month