subalterngames / talmudifierLinks
Generate Talmudic page layouts.
☆40Updated 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☆36Updated 6 months ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆67Updated last year
- The Principia Rewrite☆229Updated 2 months ago
- This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general☆39Updated 5 months ago
- Gesture-based text editor (and shell) for the reMarkable tablet☆81Updated 10 months ago
- ☆11Updated 3 months ago
- A collaborative environment for formal, interoperable, conceptual modeling☆146Updated this week
- Tag-based webview of LaTeX documents☆32Updated 2 years ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆71Updated 11 months ago
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 4 years ago
- Examples of literate programming by Knuth☆40Updated 7 months ago
- 📔🌼 An example website/book created with Pollen.☆132Updated 8 months ago
- LGPSI: An open, expansive Greek-reading composition project☆157Updated 4 months ago
- Mirror of ocaml-forester☆49Updated last year
- A graphical interactive proof assistant designed for education☆171Updated last year
- Metamath verifier in Python☆41Updated 8 months ago
- Visual environment for manipulation the lambda calculus expressions☆30Updated 2 years ago
- Rust-based library to turn Toki Pona text into the Sitelen Sitelen non-linear writing style.☆75Updated this week
- Toki Pona Visual Dictionary with English, Italian and Russian translation in pictures☆32Updated 3 years ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆16Updated this week
- Apple array system☆69Updated last month
- Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML☆19Updated last year
- Domain Specific Languages for Computational Law☆79Updated 7 months ago
- An accessible, language-inclusive programming language and IDE for creating interactive typography on the web.☆82Updated this week
- ☆16Updated 4 years ago
- Book about using Lean with How To Prove It☆25Updated last month
- Algorithmic Information Theory, using Binary Lambda Calculus☆197Updated last week
- Patoline typesetting system☆195Updated 3 years ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆124Updated 2 weeks ago