Quuxplusone / TNT
Douglas Hofstadter's "Typographical Number Theory"
☆16Updated 11 months ago
Related projects: ⓘ
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last month
- Metamath verifier in Python☆35Updated 5 months ago
- A system for computational category theory and applications☆35Updated 8 years ago
- Maybe the open-source community can write Donald Knuth's O Calculus book?☆11Updated 6 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆128Updated 10 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 3 years ago
- 🦠 AD in less than 20 lines☆48Updated 3 years ago
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆45Updated 10 years ago
- A non-absolute, time-space complex optimal artificial brain (composed in matrix laboratory (matlab), by Jordan Micah Bennett)☆21Updated 5 years ago
- DeepAlgebra☆25Updated 6 years ago
- A Mathematica package for generating symbolic models from data☆49Updated 2 years ago
- Code for the series "Searching for Riemann Hypothesis Counterexamples"☆21Updated last year
- Fungrim: the Mathematical Functions Grimoire☆115Updated 2 years ago
- An Experiment in Haskell Symbolic Algebra☆71Updated 12 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆34Updated 11 years ago
- 1.2% test error on MNIST using only least squares and numpy calls.☆16Updated last year
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆86Updated 3 years ago
- A web application to visualize complex mappings.☆28Updated 7 years ago
- Riemann Hypothesis book☆74Updated 6 years ago
- Repository for the QED interactive text and possible extensions☆95Updated 4 years ago
- Thoughts on adjoint, norm and such.☆165Updated last year
- A Parallel Haskell framework for particle-based Monte Carlo simulations☆13Updated 5 years ago
- Kan: A browser extension for reading nLab☆25Updated 5 years ago
- Code snippets accompanying the talk "Automatic Differentiation in Haskell."☆19Updated 4 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆119Updated 2 months ago
- ☆46Updated last year
- Python implementation of the monster group☆37Updated this week
- ☆41Updated 3 years ago
- Haskell bindings to SymEngine☆25Updated last year
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆68Updated last week