Alternatives and similar repositories for tetrahedra

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

• marijnheule / Keller-encode
  code related to Keller's conjecture
  ☆78Updated 2 years ago
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆26Updated 8 years ago
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆35Updated 10 months ago
• regina-normal / regina
  The main source code for Regina
  ☆39Updated this week
• akemimadoka / GC
  ☆12Updated 4 years ago
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆34Updated 3 years ago
• dramforever / finlog
  Compiling finite generators to digital logic. WIP
  ☆13Updated 5 years ago
• PENGUINLIONG / rtaichi
  Taichi Frontend for Rust
  ☆48Updated 3 years ago
• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆19Updated last week
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 3 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆17Updated 8 months ago
• raptazure / mauve
  🍎 Play Bad Apple! with Haskell
  ☆15Updated 3 years ago
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆32Updated this week
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 4 years ago
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆54Updated 3 months ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• awodey / math
  Mathematical notes and papers
  ☆27Updated last month
• niltok / itp-ard
  🚧施工中🚧 用 Arend 写证明的交互式教程
  ☆14Updated 3 years ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆47Updated 6 months ago
• ice1k / ConsHoTT
  Constructive Interpretations of HoTT
  ☆36Updated 5 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆48Updated last year
• vincentloechner / polylib
  PolyLib official git.
  ☆11Updated last week
• ChezJrk / verified-scheduling
  ☆44Updated last month
• xieyuheng / cell-complex
  Libraries and tools for topological and geometric modeling.
  ☆17Updated 8 months ago
• uwplse / potpie
  Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
  ☆16Updated last year
• teorth / symmetric_project
  ☆93Updated 2 years ago
• edemaine / topp
  The Open Problems Project
  ☆40Updated 5 months ago
• eliphatfs / yapyjit
  Yet another python JIT.
  ☆20Updated 2 years ago
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆18Updated last year