Alternatives and similar repositories for tetrahedra

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

• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆34Updated 8 months ago
• taichi-dev / quantaichi
  QuanTaichi evaluation suite
  ☆162Updated last year
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆17Updated 6 months ago
• regina-normal / regina
  The main source code for Regina
  ☆39Updated last week
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 3 years ago
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆31Updated last month
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆19Updated 2 weeks ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 3 years ago
• GPUE-group / GPUE
  GPU Gross-Pitaevskii Equation numerical solver for Bose-Einstein condensates.
  ☆40Updated 5 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆26Updated 7 years ago
• kenkangxgwe / Matypetica
  A Type System Attempt for Wolfram Language
  ☆13Updated 4 years ago
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated 2 weeks ago
• dramforever / finlog
  Compiling finite generators to digital logic. WIP
  ☆13Updated 5 years ago
• RuleBasedIntegration / Rubi
  Rubi for Mathematica
  ☆251Updated last year
• MathBases / MathBases
  ☆24Updated this week
• akemimadoka / GC
  ☆12Updated 4 years ago
• awodey / math
  Mathematical notes and papers
  ☆27Updated last month
• teorth / symmetric_project
  ☆93Updated last year
• teorth / erdosproblems
  A community database for the problems on the erdosproblems.com site
  ☆90Updated this week
• GeeLaw / laomian
  老面 (sourdough, lit. "old dough") is used as the starter for fermenting dough. This repository contains my digital 老面.
  ☆10Updated 3 weeks ago
• MarisaKirisame / MemoryBalancer
  ☆23Updated 2 years ago
• eliphatfs / yapyjit
  Yet another python JIT.
  ☆20Updated 2 years ago
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆34Updated 3 years ago
• taichi-dev / taichicon
  TaichiCon: Taichi Conferences
  ☆73Updated 3 years ago
• google-research / structured-additive-IR
  ☆61Updated this week
• PENGUINLIONG / rtaichi
  Taichi Frontend for Rust
  ☆48Updated 2 years ago
• chenjulang / rubikcubegroup
  rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/
  ☆12Updated last year
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆51Updated last month