Quuxplusone / TNTLinks
Douglas Hofstadter's "Typographical Number Theory"
☆16Updated 2 years ago
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☆129Updated 11 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- The Design and Implementation of Probabilistic Programming Languages☆180Updated last year
- probabilistic programming for PL folks☆159Updated 4 years ago
- Metamath verifier in Python☆40Updated 7 months ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆194Updated 2 weeks ago
- A system for computational category theory and applications☆40Updated 9 years ago
- Haskell implementation of open games☆183Updated 11 months ago
- ☆119Updated 7 months ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- A framework for applied category theory in the Julia language☆19Updated last year
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- Haskell bindings to SymEngine☆27Updated 2 years ago
- Maybe the open-source community can write Donald Knuth's O Calculus book?☆11Updated 7 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…☆31Updated 4 years ago
- L-Functions and Modular Forms Database☆278Updated 3 weeks ago
- Riemann Hypothesis book☆74Updated 8 years ago
- ☆42Updated 4 years ago
- DeepAlgebra☆25Updated 8 years ago
- Primary implementation of the Venture probabilistic programming system☆28Updated 6 years ago
- Source of metamath book☆52Updated 2 years ago
- A Church to Javascript compiler (DEPRECATED)☆141Updated 7 years ago
- The simple essence of automatic differentiation☆201Updated 4 years ago
- Lean-independent implementation of the MM-Lean link☆32Updated 3 years ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆34Updated this week
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆56Updated 6 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆129Updated last month
- Perfectoid spaces in the Lean formal theorem prover.☆129Updated last year
- A semantic Extension of TeX/LaTeX☆55Updated 3 weeks ago