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 11 months ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• williamstein / rh
  Riemann Hypothesis book
  ☆75Updated 7 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 4 months ago
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆21Updated 2 months ago
• sampsyo / ppl-intro
  probabilistic programming for PL folks
  ☆158Updated 4 years ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆227Updated 9 months ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 4 years ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆32Updated this week
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆73Updated 3 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆180Updated last year
• Dyalog / pynapl
  Dyalog APL ←→ Python interface
  ☆79Updated 2 weeks ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 11 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 8 years ago
• epatters / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆18Updated last year
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆23Updated last week
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆77Updated 7 years ago
• mabotkin / complex
  A web application to visualize complex mappings.
  ☆31Updated 9 years ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆156Updated 5 years ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆135Updated 7 months ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• Mathics3 / mathicsscript
  Terminal CLI to Mathics3
  ☆60Updated 2 months ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆204Updated last month
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• robertylewis / mathematica
  Lean-independent implementation of the MM-Lean link
  ☆32Updated 2 years ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated last week
• conal / talk-2018-essence-of-ad
  The simple essence of automatic differentiation
  ☆201Updated 4 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆19Updated 8 months ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated 2 years ago