Alternatives and similar repositories for TNT

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

• 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 4 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 3 months ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆32Updated this week
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆130Updated 11 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• djvelleman / HTPILeanPackage
  ☆34Updated 2 months ago
• Dyalog / pynapl
  Dyalog APL ←→ Python interface
  ☆79Updated 8 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 last month
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 4 years ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆225Updated 7 months ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆111Updated last year
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆178Updated last year
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆39Updated 9 years ago
• williamstein / rh
  Riemann Hypothesis book
  ☆75Updated 7 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 10 months ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 11 months ago
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆175Updated 7 months ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated last year
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆169Updated last week
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆29Updated 6 years ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated last month
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆26Updated 2 years ago
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• walck / learn-physics
  A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…
  ☆183Updated 2 years ago
• lftcm2023 / lftcm2023
  ☆23Updated 2 years ago
• riceissa / aiwatch
  Website to track people, organizations, and products (tools, websites, etc.) in AI safety
  ☆23Updated this week
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆156Updated 5 years ago