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
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆35Updated 10 months ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• regina-normal / regina
  The main source code for Regina
  ☆39Updated this week
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆26Updated 8 years ago
• akemimadoka / GC
  ☆12Updated 4 years ago
• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆19Updated 2 weeks ago
• google-research / structured-additive-IR
  ☆63Updated last week
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 4 years ago
• WolframResearch / codeparser
  Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)
  ☆144Updated last year
• surban / TensorAlgDiff
  Automatic Differentiation for Tensor Algebras
  ☆28Updated 7 years ago
• overlogged / steak
  A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.
  ☆30Updated 6 years ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆49Updated 2 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• vincentloechner / polylib
  PolyLib official git.
  ☆11Updated last week
• WolframResearch / wolfram-expr-rs
  Representing Wolfram Language expressions in Rust.
  ☆22Updated 2 years ago
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆32Updated last week
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆47Updated 6 months ago
• taichi-dev / quantaichi
  QuanTaichi evaluation suite
  ☆164Updated 2 years ago
• RuleBasedIntegration / Rubi
  Rubi for Mathematica
  ☆251Updated last year
• oovm / WolframFunctionRepository
  Wolfram Function Repository Issue Tracer
  ☆13Updated 5 years ago
• xieyuheng / cell-complex
  Libraries and tools for topological and geometric modeling.
  ☆17Updated 8 months ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆48Updated last year
• kenkangxgwe / Matypetica
  A Type System Attempt for Wolfram Language
  ☆13Updated 4 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
• awodey / math
  Mathematical notes and papers
  ☆27Updated last month
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆18Updated last year
• GeeLaw / laomian
  老面 (sourdough, lit. "old dough") is used as the starter for fermenting dough. This repository contains my digital 老面.
  ☆11Updated 2 months ago
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆58Updated 2 months ago