Quuxplusone / TNTLinks
Douglas Hofstadter's "Typographical Number Theory"
☆16Updated last year
Alternatives and similar repositories for TNT
Users that are interested in TNT are comparing it to the libraries listed below
Sorting:
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆130Updated 11 years ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 4 years ago
- The Design and Implementation of Probabilistic Programming Languages☆178Updated last year
- Metamath verifier in Python☆40Updated 4 months ago
- probabilistic programming for PL folks☆157Updated 4 years ago
- DeepAlgebra☆25Updated 7 years ago
- 🦠 AD in less than 20 lines☆54Updated 4 years ago
- A web application to visualize complex mappings.☆31Updated 8 years ago
- Source of metamath book☆51Updated last year
- A system for computational category theory and applications☆40Updated 9 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- Repository for the QED interactive text and possible extensions☆105Updated 8 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 10 months ago
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆112Updated last year
- Algorithmic Information Theory, using Binary Lambda Calculus☆170Updated last week
- metamath proof enumerators and other things☆94Updated last year
- ☆33Updated 3 months ago
- Dyna built on R-exprs (First Prototype)☆17Updated 3 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- Riemann Hypothesis book☆75Updated 7 years ago
- Haskell implementation of open games☆175Updated 8 months ago
- Primary implementation of the Venture probabilistic programming system☆28Updated 5 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- Exact Inference Engine for Probabilistic Programs☆135Updated 6 months ago
- ☆344Updated 7 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- A Learning Environment for Theorem Proving☆76Updated 3 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆126Updated last year
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Updated 12 years ago