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 4 months ago
- Tag-based webview of LaTeX documents☆31Updated last year
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆66Updated last year
- Leibniz - a Digital Scientific Notation☆36Updated 8 months ago
- An accessible, language-inclusive programming language and IDE for creating interactive typography on the web.☆80Updated this week
- 📔🌼 An example website/book created with Pollen.☆132Updated 6 months ago
- A collaborative environment for formal, interoperable, conceptual modeling☆132Updated this week
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆16Updated 2 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated 2 years ago
- a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…☆15Updated 3 years ago
- Mirror of ocaml-forester☆48Updated last year
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 3 years ago
- Pads format description language☆21Updated 10 years ago
- Examples of technical drawing with John Hobby's MetaPost language☆55Updated last month
- This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general☆37Updated 3 months ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- LGPSI: An open, expansive Greek-reading composition project☆154Updated 2 months ago
- Metamath verifier in Python☆40Updated 6 months ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- This repository contains the source html files for the website complex-analysis.com☆18Updated 2 weeks ago
- Catalog of visual lambda calculi☆161Updated 5 months ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- Tim Button's open textbook on set theory☆40Updated 5 months ago
- multilingual dictionary of mathematical terminology☆20Updated 2 months ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- tool for turning Lean proofs into Blender animations☆78Updated 2 weeks ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆118Updated last month
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆112Updated 2 years ago
- A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface☆104Updated last year
- A bare-bones blogging system, written in Prolog☆26Updated last year