Alternatives and similar repositories for tetrahedra:

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

• dramforever / finlog
  Compiling finite generators to digital logic. WIP
  ☆14Updated 4 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆46Updated 2 years ago
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆32Updated last year
• eliphatfs / yapyjit
  Yet another python JIT.
  ☆20Updated last year
• chenjulang / rubikcubegroup
  rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/
  ☆10Updated 9 months ago
• ice1k / ConsHoTT
  Constructive Interpretations of HoTT
  ☆36Updated 4 years ago
• wangrunji0408 / WanZheBiDong
  An educational game about Wanli Period of the Ming Dynasty
  ☆8Updated 4 years ago
• GeeLaw / laomian
  老面 (sourdough, lit. "old dough") is used as the starter for fermenting dough. This repository contains my digital 老面.
  ☆10Updated last month
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆25Updated 7 years ago
• FR-vdash-bot / transcendental
  Lindemann–Weierstrass Theorem
  ☆11Updated 8 months ago
• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆17Updated 2 weeks ago
• taichi-dev / taichicon
  TaichiCon: Taichi Conferences
  ☆71Updated 2 years ago
• SchrodingerZhu / ReuseIR
  Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆15Updated 3 months ago
• akemimadoka / GC
  ☆12Updated 3 years ago
• sergei-mironov / htvm
  Haskell experiments involving TVM AI framework
  ☆21Updated 5 years ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆24Updated 2 years ago
• jiegec / learn_tsinghua_app
  网络学堂 PC 端 App
  ☆21Updated last year
• SchrodingerZhu / LeanGccBackend
  Lean4 backend using `libgccjit`!
  ☆11Updated last year
• dramforever / each
  ☆10Updated 5 years ago
• oovm / WLNet-ModelZoo
  ☆19Updated 5 years ago
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆17Updated 5 months ago
• surban / TensorAlgDiff
  Automatic Differentiation for Tensor Algebras
  ☆29Updated 6 years ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆21Updated last week
• RuixiZhang42 / newxeCJK
  New implementation of xeCJK
  ☆18Updated last year
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆27Updated 2 weeks ago
• marijnheule / Keller-encode
  code related to Keller's conjecture
  ☆78Updated last year
• awodey / math
  Mathematical notes and papers
  ☆25Updated last week
• KireinaHoro / khtcp
  PKU CompNet'19 Lab 2 - Homebrew TCP
  ☆12Updated 5 years ago