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中文教程
  ☆34Updated 7 months ago
• regina-normal / regina
  The main source code for Regina
  ☆39Updated this week
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆26Updated 7 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
• RuleBasedIntegration / Rubi
  Rubi for Mathematica
  ☆250Updated last year
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆31Updated 2 weeks ago
• awodey / math
  Mathematical notes and papers
  ☆26Updated 3 weeks ago
• oovm / WolframFunctionRepository
  Wolfram Function Repository Issue Tracer
  ☆13Updated 5 years ago
• taichi-dev / quantaichi
  QuanTaichi evaluation suite
  ☆162Updated last year
• taichi-dev / taichicon
  TaichiCon: Taichi Conferences
  ☆73Updated 3 years ago
• akemimadoka / GC
  ☆12Updated 3 years ago
• edemaine / topp
  The Open Problems Project
  ☆39Updated 3 months ago
• eliphatfs / yapyjit
  Yet another python JIT.
  ☆20Updated 2 years ago
• WolframResearch / wolfram-expr-rs
  Representing Wolfram Language expressions in Rust.
  ☆19Updated last year
• RuleBasedIntegration / Rubi-5
  A Rule-Based Integrator Built On An If-Then-Else Decision Tree
  ☆37Updated 4 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆34Updated 3 years ago
• shigma / vscode-wl
  Wolfram Language support for Visual Studio Code.
  ☆51Updated 3 years ago
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆17Updated 5 months ago
• PENGUINLIONG / rtaichi
  Taichi Frontend for Rust
  ☆48Updated 2 years ago
• Krasjet / karasu
  A self-hosted remote communication system designed for math discussions.
  ☆40Updated 4 years ago
• ice1k / ConsHoTT
  Constructive Interpretations of HoTT
  ☆36Updated 5 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
• thautwarm / LLAST
  A high level LLVM IR AST provider for GraphEngine JIT.
  ☆22Updated 7 years ago
• flaribbit / typst-tetris
  Play tetris in typst
  ☆12Updated last year
• thautwarm / Typed-BNF
  Statically typed BNF with semantic actions; safe parser generator applicable to every programming language.
  ☆62Updated 6 months ago
• zju-lambda / slides
  slides of zju-lambda
  ☆14Updated 6 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• MathBases / MathBases
  ☆24Updated last month