Alternatives and similar repositories for talmudifier

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

• punkdit / huygens
  ☆11Updated 3 weeks ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆31Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 4 months ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated last year
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆64Updated last year
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆91Updated 3 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated 2 months ago
• complex-analysis / source
  This repository contains the source html files for the website complex-analysis.com
  ☆16Updated 4 months ago
• edemaine / mathcestor
  Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML
  ☆17Updated last year
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆21Updated 2 weeks ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 3 months ago
• seumasjeltzz / LinguaeGraecaePerSeIllustrata
  LGPSI: An open, expansive Greek-reading composition project
  ☆148Updated last week
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆26Updated last month
• 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
  ☆38Updated last month
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• wphicks / Esopo
  Poetic esoteric programming languages
  ☆24Updated 9 years ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆116Updated this week
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆40Updated 2 years ago
• MurrayIII / UnicodeMathML
  JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…
  ☆33Updated last week
• loopspace / spath3
  TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.
  ☆24Updated last week
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆112Updated last year
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆61Updated last year
• varkor / tangle
  A modern string diagram editor for the web.
  ☆25Updated 5 months ago
• hpi-swa-lab / sb-tree-sitter
  Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars
  ☆14Updated last year
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆20Updated last week