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 5 months ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆44Updated this week
• 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
• Alex-Linhares / Knuths-O-Calculus
  Maybe the open-source community can write Donald Knuth's O Calculus book?
  ☆11Updated 6 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• tgvaughan / sicm
  Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
  ☆98Updated 3 years ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• JordanMicahBennett / God
  A non-absolute, time-space complex optimal artificial brain (composed in matrix laboratory (matlab), by Jordan Micah Bennett)
  ☆22Updated 6 years ago
• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆169Updated 2 years ago
• peeterjoot / physicsplay
  Latex source for geometric algebra and physics notes.
  ☆38Updated this week
• 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).
  ☆28Updated this week
• Dyalog / pynapl
  Dyalog APL ←→ Python interface
  ☆78Updated 3 months ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆64Updated 3 weeks ago
• rmculpepper / iracket
  Jupyter kernel for Racket
  ☆96Updated 3 years ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 4 years ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 7 years ago
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆21Updated last month
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆26Updated 6 years ago
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆282Updated 2 months ago
• bennn / mechanics
  (in progress) Racket port of the SICM scmutils library
  ☆35Updated 4 years ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 11 months ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• metacrank / cognition-archive
  ☆44Updated 6 months ago
• VincentToups / jkmeans
  An implementation of the clustering algorithm k-means in J.
  ☆13Updated 10 years ago
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 3 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆22Updated 7 months ago
• friedbrice / AutoDiff
  Code snippets accompanying the talk "Automatic Differentiation in Haskell."
  ☆19Updated 5 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago