subalterngames / talmudifierLinks
Generate Talmudic page layouts.
☆38Updated 5 years ago
Alternatives and similar repositories for talmudifier
Users that are interested in talmudifier are comparing it to the libraries listed below
Sorting:
- A relational interpretation of Lojban☆34Updated 3 months ago
- The Principia Rewrite☆228Updated 9 months ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆64Updated last year
- This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general☆38Updated 2 months ago
- Tag-based webview of LaTeX documents☆31Updated last year
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- ☆11Updated this week
- A graphical interactive proof assistant designed for education☆169Updated 11 months ago
- Examples of literate programming by Knuth☆38Updated 4 months ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 8 months ago
- 📔🌼 An example website/book created with Pollen.☆132Updated 5 months ago
- A collaborative environment for formal, interoperable, conceptual modeling☆126Updated this week
- Leibniz - a Digital Scientific Notation☆36Updated 6 months ago
- Gesture-based text editor (and shell) for the reMarkable tablet☆81Updated 7 months ago
- Catalog of visual lambda calculi☆158Updated 3 months ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- Book about using Lean with How To Prove It☆22Updated last month
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 3 years ago
- A modern string diagram editor for the web.☆25Updated 6 months ago
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆19Updated 6 months ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆173Updated 2 weeks ago
- A logic programming language that has features of both Datalog and answer set programming.☆119Updated 2 weeks ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated 2 years ago
- ☆103Updated 3 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 4 months ago
- Examples of technical drawing with John Hobby's MetaPost language☆54Updated last week
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆112Updated last year
- please use https://forums.matthewbutterick.com/c/typesetting/ instead☆52Updated 3 years ago