Alternatives and similar repositories for tetrahedra

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

• egraphs-good / snake-egg
  Python bindings for egg
  ☆50Updated 3 years ago
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆26Updated 8 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆35Updated last year
• dramforever / finlog
  Compiling finite generators to digital logic. WIP
  ☆13Updated 5 years ago
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 4 years ago
• regina-normal / regina
  The main source code for Regina
  ☆39Updated 2 weeks ago
• MathBases / MathBases
  ☆27Updated this week
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆19Updated 10 months ago
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆32Updated last month
• eliphatfs / yapyjit
  Yet another python JIT.
  ☆20Updated 2 years ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆49Updated last week
• GabrielDosReis / open-axiom
  OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
  ☆26Updated last year
• PENGUINLIONG / rtaichi
  Taichi Frontend for Rust
  ☆47Updated 3 years ago
• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆21Updated last week
• teorth / symmetric_project
  ☆94Updated 2 years ago
• RuleBasedIntegration / Rubi-5
  A Rule-Based Integrator Built On An If-Then-Else Decision Tree
  ☆38Updated 4 years ago
• GPUE-group / GPUE
  GPU Gross-Pitaevskii Equation numerical solver for Bose-Einstein condensates.
  ☆40Updated 5 years ago
• akemimadoka / GC
  ☆12Updated 4 years ago
• Roger-luo / YAAD.jl
  Implement you own AD in 300 loc
  ☆81Updated 2 years ago
• edemaine / topp
  The Open Problems Project
  ☆40Updated 7 months ago
• EnzymeAD / Enzyme-Tutorial
  ☆20Updated 2 years ago
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆50Updated 2 years ago
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated 2 years ago
• thautwarm / DIO.jl
  Julia implementation for Python Restrain JIT
  ☆22Updated 4 years ago
• ice1k / ConsHoTT
  Constructive Interpretations of HoTT
  ☆36Updated 5 years ago
• oovm / WolframFunctionRepository
  Wolfram Function Repository Issue Tracer
  ☆13Updated 5 years ago
• raptazure / mauve
  🍎 Play Bad Apple! with Haskell
  ☆15Updated 3 years ago
• awodey / math
  Mathematical notes and papers
  ☆27Updated last week
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated last week