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 8 months ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 3 years ago
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆70Updated 4 months ago
• mabotkin / complex
  A web application to visualize complex mappings.
  ☆30Updated 8 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated last month
• LogicalAtomist / principia
  The Principia Rewrite
  ☆224Updated 5 months ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 9 years ago
• williamstein / rh
  Riemann Hypothesis book
  ☆75Updated 7 years ago
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆170Updated 5 months ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆203Updated 4 months ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆163Updated this week
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆178Updated last year
• walck / learn-physics
  A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…
  ☆180Updated 2 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆130Updated 11 years ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆156Updated 5 years ago
• HnimNart / deeplearning
  ☆53Updated 4 years ago
• Alex-Linhares / FARGonautica
  ☆116Updated last month
• Dyalog / pynapl
  Dyalog APL ←→ Python interface
  ☆79Updated 6 months ago
• sampsyo / ppl-intro
  probabilistic programming for PL folks
  ☆157Updated 4 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆49Updated last week
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆132Updated 8 months ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆29Updated this week
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆110Updated last year
• j2kun / essays
  Short essays I've written
  ☆79Updated last year
• kedlaya / math157
  ☆42Updated 4 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 3 months ago
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆244Updated 6 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• tgvaughan / sicm
  Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
  ☆101Updated 4 years ago