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:
- Metamath verifier in Python☆40Updated 2 months ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆130Updated 11 years ago
- A web application to visualize complex mappings.☆31Updated 8 years ago
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆45Updated 11 years ago
- A system for computational category theory and applications☆39Updated 9 years ago
- 🦠 AD in less than 20 lines☆54Updated 4 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 9 months ago
- Dyna built on R-exprs (First Prototype)☆17Updated 3 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
- DeepAlgebra☆25Updated 7 years ago
- The Principia Rewrite☆224Updated 7 months ago
- Riemann Hypothesis book☆75Updated 7 years ago
- Maybe the open-source community can write Donald Knuth's O Calculus book?☆11Updated 7 years ago
- ☆42Updated 4 years ago
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Updated 2 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- A framework for applied category theory in the Julia language☆18Updated 10 months ago
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆56Updated 6 years ago
- Source of metamath book☆49Updated last year
- probabilistic programming for PL folks☆157Updated 4 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆166Updated this week
- ☆343Updated 7 years ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- Logic Programming in Python☆31Updated 3 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- A web-based application for collaborating on simulation models in real-time using Firebase☆37Updated 9 months ago
- ☆117Updated 2 months ago
- A gym environment for Stuart Armstrong's model of a treacherous turn.☆18Updated 7 years ago