Alternatives and similar repositories for talmudifier

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

• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆66Updated last year
• UofS-CEPHIL / modelcollab
  A web-based application for collaborating on simulation models in real-time using Firebase
  ☆39Updated last year
• seumasjeltzz / LinguaeGraecaePerSeIllustrata
  LGPSI: An open, expansive Greek-reading composition project
  ☆155Updated 3 months ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• LogicalAtomist / principia-rewrite
  The Principia Rewrite
  ☆228Updated last month
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆32Updated last year
• edemaine / comingle
  Multiroom meeting app integrating web tools
  ☆46Updated last year
• brismu / brismu
  A relational interpretation of Lojban
  ☆35Updated 6 months ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆19Updated 2 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆167Updated 6 months ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆91Updated 4 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
  ☆39Updated 4 months ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆49Updated last year
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆36Updated 9 months ago
• punkdit / huygens
  ☆11Updated 2 months ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆195Updated 3 weeks ago
• wordplaydev / wordplay
  An accessible, language-inclusive programming language and IDE for creating interactive typography on the web.
  ☆81Updated this week
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆143Updated this week
• otherjoel / try-pollen
  📔🌼 An example website/book created with Pollen.
  ☆132Updated 8 months ago
• DaveAckley / SPLAT
  Repository for programming language SPLAT: Spatial Programming Language, Ascii Text
  ☆52Updated 4 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• MikeInnes / BrainForth
  An Impractical Stack Language
  ☆14Updated 5 years ago
• abrudz / aplcart
  A novel approach to finding your way in APL
  ☆148Updated last week
• xymostech / XymosTeX
  A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface
  ☆104Updated last year
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆80Updated 2 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆39Updated 7 months ago
• olafjanssen / sitelen-sitelen-renderer
  JavaScript library to turn Toki Pona text into the Sitelen Sitelen or Sitelen Suwi non-linear writing style.
  ☆73Updated last week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 7 months ago
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆29Updated 2 years ago
• edemaine / mathcestor
  Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML
  ☆19Updated last year