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
  ☆48Updated 2 years ago
• ChezJrk / verified-scheduling
  ☆37Updated 10 months ago
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆25Updated 7 years ago
• taichi-dev / taichicon
  TaichiCon: Taichi Conferences
  ☆71Updated 2 years ago
• GeeLaw / laomian
  老面 (sourdough, lit. "old dough") is used as the starter for fermenting dough. This repository contains my digital 老面.
  ☆10Updated 3 months ago
• metagraph-dev / mlir-graphblas
  MLIR tools and dialect for GraphBLAS
  ☆18Updated 2 years ago
• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆17Updated 2 months ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 2 years ago
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆34Updated last month
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆16Updated last week
• PENGUINLIONG / rtaichi
  Taichi Frontend for Rust
  ☆47Updated 2 years ago
• akemimadoka / GC
  ☆12Updated 3 years ago
• KireinaHoro / khtcp
  PKU CompNet'19 Lab 2 - Homebrew TCP
  ☆12Updated 5 years ago
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆27Updated this week
• surban / TensorAlgDiff
  Automatic Differentiation for Tensor Algebras
  ☆29Updated 6 years ago
• sergei-mironov / htvm
  Haskell experiments involving TVM AI framework
  ☆21Updated 5 years ago
• ice1k / ConsHoTT
  Constructive Interpretations of HoTT
  ☆36Updated 4 years ago
• seanbaxter / apex
  tokenizer and parser for circle projects
  ☆11Updated 5 years ago
• TrivialCompiler / Talk
  Tex source for talk slide.
  ☆10Updated 4 years ago
• bollu / lz
  A minimal in MLIR dialect along the lines of STG to represent laziness.
  ☆15Updated 3 years ago
• awodey / math
  Mathematical notes and papers
  ☆25Updated 2 months ago
• uwsampl / relay-aot
  An experimental ahead of time compiler for Relay.
  ☆50Updated 4 years ago
• probsys / optimal-approximate-sampling
  Optimal approximate sampling from discrete probability distributions
  ☆18Updated 4 years ago
• marijnheule / Keller-encode
  code related to Keller's conjecture
  ☆78Updated last year
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 3 years ago
• regina-normal / regina
  The main source code for Regina
  ☆36Updated this week
• crlf0710 / tex-rs
  A port of TeX82 to Rust. (WIP)
  ☆35Updated 3 years ago
• ayuusweetfish / graphics-lab-THSS
  Computer graphics in Rust (Geometry, PBR, RT) and Taichi (Collision, Rigid Dynamics). 44100652/44100642 course assignments.
  ☆25Updated 2 years ago