Alternatives and similar repositories for TNT:

Users that are interested in TNT are comparing it to the libraries listed below

• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 3 months ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 9 months ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆97Updated last year
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• liuyj8526 / Computation-of-Elliptic-Units
  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
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 10 months ago
• jtauber / functional-differential-geometry
  working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python
  ☆45Updated 10 years ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆26Updated this week
• guillefix / augmath
  Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers
  ☆54Updated 5 years ago
• leanprover-community / mathlib-tools
  Development tools for https://github.com/leanprover-community/mathlib
  ☆34Updated last year
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆69Updated last month
• mwcvitkovic / neuromodulation_modalities
  Every way to change your mind
  ☆43Updated 2 months ago
• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆167Updated 2 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆66Updated last year
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• epatters / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆18Updated 4 months ago
• djvelleman / HTPILeanPackage
  ☆28Updated last month
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆51Updated this week
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• benjamin-recht / mnist_1_pt_2
  1.2% test error on MNIST using only least squares and numpy calls.
  ☆17Updated last year
• JordanMicahBennett / God
  A non-absolute, time-space complex optimal artificial brain (composed in matrix laboratory (matlab), by Jordan Micah Bennett)
  ☆22Updated 5 years ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆120Updated 3 years ago
• ssardina / ergo
  ERGO Agent Programming Language
  ☆27Updated 8 months ago
• Alex-Linhares / Knuths-O-Calculus
  Maybe the open-source community can write Donald Knuth's O Calculus book?
  ☆11Updated 6 years ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆34Updated 12 years ago
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆36Updated 2 years ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 4 months ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆72Updated 12 years ago
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆81Updated 2 years ago