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 repository of mathematical knowledge written in the Mathlingua language.☆17Updated 7 months ago
- Metamath verifier in Python☆40Updated 3 weeks ago
- A web application to visualize complex mappings.☆30Updated 8 years ago
- Formalizing results about the Mandelbrot set in Lean☆21Updated 7 months ago
- metamath proof enumerators and other things☆94Updated 11 months ago
- 🦠 AD in less than 20 lines☆54Updated 3 years ago
- A file-based mirror of the nLab wiki (HTML format).☆24Updated this week
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 11 years ago
- A system for computational category theory and applications☆38Updated 9 years ago
- Kan: A browser extension for reading nLab☆26Updated 6 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
- Development tools for https://github.com/leanprover-community/mathlib☆34Updated last year
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆109Updated last year
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆45Updated 10 years ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆28Updated this week
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- Lean-independent implementation of the MM-Lean link☆30Updated 2 years ago
- Maybe the open-source community can write Donald Knuth's O Calculus book?☆11Updated 6 years ago
- Matroids in Lean☆18Updated last year
- Python implementation of the monster group☆48Updated 3 weeks ago
- a general blog about my projects, or anything☆18Updated 2 months ago
- ☆42Updated 4 years ago
- ☆31Updated 2 weeks ago
- A semantic Extension of TeX/LaTeX☆52Updated last month
- The Design and Implementation of Probabilistic Programming Languages☆178Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated last week
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- ☆20Updated last year
- sorear's Metamath system engine - version 3 Rust☆24Updated 2 years ago
- Visual environment for manipulation the lambda calculus expressions☆25Updated last year