Projects
Building at this intersection — part of a portfolio of 90 tracked sites, 82 of them currently live or deployed. What follows is the curated subset that belongs to the Judaism-and-computer-science thread, grouped by what each thing actually does.
Counts verified 2026-08-02 against the web-inventory database and recorded in the claims ledger. Eight of the ninety are retired.
Talmud & logic
The formal reasoning thread: the thirteen middot as inference rules, argument structure as a graph, and the checking of claims against the sources they rest on.
talmudiclogic.com
The formal logic of the Talmud — the thirteen middot and the core operations of rabbinic argument.
truthknowledgebot.com
Argument and claim analysis: positions, attacks, and what survives when they are laid out as a graph.
proofanalyzer.com
Proof and inference inspection — taking an argument apart to see which step is carrying it.
Torah data & graphs
The data layer: texts, citations, chains of transmission, and the graphs that hold them in a machine-readable form.
torahchain.com
The chain of transmission as data — teacher to student, source to citation, layer to layer.
torahverse.com
Verse-level navigation of the text and the commentary that attaches to it.
torahtwin.com
A digital twin of the study corpus — the texts mirrored into a queryable structure.
torahtech.com
Torah and technology: tooling, pipelines, and the engineering side of the study corpus.
Gematria & mathematics
Letter values, numeric patterns, and the geometry of the tradition — exploratory instruments, offered as instruments rather than as proofs.
gematriagraph.com
Letter-value relationships across texts, rendered as a graph you can traverse.
gematriabot.com
A conversational gematria calculator — compute a value, then find what shares it.
numerologygraph.com
Numeric-pattern exploration over texts, with the correspondences made checkable.
geometryknowledge.com
Geometry, proportion, and structure in the sources — the mathematical side of the tradition.
AI study companions
Retrieval-grounded conversational systems over cited sources. The design rule throughout: cite the passage or decline the question. See the case study for how they are measured.
rabbiakiva.openrabbi.com
The live reference sage — Rabbi Akiva, with an avatar, answering from cited teachings.
app.openrabbi.com
The study application: the full sage set and the cited-source browser behind them.
openrabbi.com
The project home for the grounded-sage work — what it is and how it is built.
sefarialabs
Experiments against the open Sefaria corpus — retrieval, linking, and citation checking.
jewtwin.com
A digital-twin study companion for Jewish learning, grounded in the source graph.
ancienttwin.com
Conversational twins of figures from the ancient world, built on the same grounded pattern.
Libraries & archives
Collection, preservation, and retrieval — the long-horizon end of the portfolio, where the task is to keep texts findable rather than to reason over them.
godlibrary.com
A library of religious and philosophical texts, organized for retrieval.
hashemlibrary.com
A Jewish text library — sources gathered, indexed, and made searchable.
absolutelibrary.com
A general archive layer over the wider document corpus.
immortalslibrary.com
Works and lives that outlasted their authors — a biographical and textual archive.
mercavaknowledge.com
Structured knowledge over the mystical and philosophical literature.
Content & education
The explanatory end: teaching the material to people who have not met it before, without requiring them to already know the vocabulary.
gematriachannel.com
Gematria explained for a general audience, one idea at a time.
jew2jew.com
Jewish life and learning, addressed plainly and person to person.
tikkunology.com
Repair as a discipline — the ethics thread of the tradition, taken seriously.
alephinity.com
The educational hub: infinity, the aleph, and the mathematics inside Jewish thought.
Infrastructure & trust
The plumbing that the rest of it stands on — graph services, verification, and the machinery for keeping a lot of moving pieces honest.
kosherninja.com
Kashrut verification and lookup — trust questions with a checkable answer.
knowledgegraphbot.com
Conversational access to a knowledge graph — ask in language, traverse in edges.
globalknowledgegraph.com
Graph infrastructure at corpus scale, across domains rather than one subject.
agenticknowledgegraph.com
Agents operating over a knowledge graph — retrieval, tools, and provenance together.
eternalgraph.com
Durable graph storage — the long-term-preservation end of the graph stack.
Descriptions here state what each site is for. They are not claims about traffic, completeness, or maturity — some of these are mature and some are experiments, and the honest way to tell the difference is to open them.