Alternatives and similar repositories for tetrahedra

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

• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• fgdorais / lean4-unicode-basic

  View on GitHub
  Basic Unicode support for Lean 4
  ☆15Updated this week
• ocramz / algebraic-graphs-io

  View on GitHub
  I/O utilities and datasets for algebraic-graphs
  ☆14Aug 29, 2022Updated 3 years ago
• fzyzcjy / ai_math_paper_list

  View on GitHub
  AI for Mathematics Paper List
  ☆17Jan 14, 2025Updated last year
• dhil / pthandlers

  View on GitHub
  an encoding of affine effect handlers using pthreads
  ☆14Nov 15, 2022Updated 3 years ago
• JuliaRobotics / ApproxManifoldProducts.jl

  View on GitHub
  Approximate the product between infinite functional objects on a manifold -- i.e. belief products
  ☆12Feb 10, 2026Updated last week
• mmcqd / higher-standard

  View on GitHub
  Higher kinded polymorphism in SML
  ☆15Sep 2, 2020Updated 5 years ago
• digama0 / lean-rs

  View on GitHub
  High level Lean 4 FFI for Rust
  ☆14Mar 16, 2024Updated last year
• backtracking / hashset

  View on GitHub
  OCaml implementation of sets as hash tables by Jean-Christophe Filliatre
  ☆10Feb 13, 2025Updated last year
• leanprover-community / mathlib-changelog

  View on GitHub
  ☆14Updated this week
• 658060 / topos

  View on GitHub
  Topos theory in Lean 4
  ☆16Feb 10, 2025Updated last year
• michallepicki / suber

  View on GitHub
  Algebraic Subtyping typechecking algorithms implemented in Erlang
  ☆10Oct 13, 2021Updated 4 years ago
• dinosaure / mimic

  View on GitHub
  A dynamic way to instantiate an OCaml flow
  ☆17Jun 25, 2024Updated last year
• backtracking / creal

  View on GitHub
  An exact real arithmetic (aka constructive reals) for OCaml
  ☆13Jun 14, 2024Updated last year
• leanprover / lean4export

  View on GitHub
  Plain-text declaration export for Lean 4
  ☆24Feb 6, 2026Updated last week
• SchrodingerZhu / reussir-lang

  View on GitHub
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆19Mar 29, 2025Updated 10 months ago
• mirage / irmin-watcher

  View on GitHub
  Portable implementation of the Irmin Watch API
  ☆14Feb 10, 2026Updated last week
• rzk-lang / hottbook

  View on GitHub
  HoTT Book formalisations in Rzk.
  ☆20Dec 15, 2023Updated 2 years ago
• Trebor-Huang / vscode-forester

  View on GitHub
  VSCode support for Forester
  ☆22Nov 17, 2025Updated 2 months ago
• teorth / erdos-guy-selfridge

  View on GitHub
  Project to verify the Guy-Selfridge conjectures
  ☆24Jun 14, 2025Updated 8 months ago
• thautwarm / Fable.Sedlex

  View on GitHub
  get you an ultimate lexer generator using Fable; port OCaml sedlex to FSharp, Python and more!
  ☆16Aug 6, 2022Updated 3 years ago
• ocurrent / current_incr

  View on GitHub
  Self-adjusting computations
  ☆23Oct 9, 2023Updated 2 years ago
• HKUNLP / subgoal-theorem-prover

  View on GitHub
  Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"
  ☆19May 25, 2023Updated 2 years ago
• agentultra / lean-for-hackers

  View on GitHub
  ☆20Jan 24, 2023Updated 3 years ago
• LesleyLai / ocamlpt

  View on GitHub
  Path tracer live coded in stream
  ☆20Aug 23, 2020Updated 5 years ago
• janestreet / sexp_pretty

  View on GitHub
  S-expression pretty-printer
  ☆22Jan 15, 2026Updated last month
• sorear / smetamath-rs

  View on GitHub
  sorear's Metamath system engine - version 3 Rust
  ☆25May 31, 2023Updated 2 years ago
• pygae / lean-ga

  View on GitHub
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆56Oct 25, 2023Updated 2 years ago
• leanprover-community / lean4-samples

  View on GitHub
  Code samples for Lean 4
  ☆76Oct 19, 2023Updated 2 years ago
• sinhp / Poly

  View on GitHub
  A Lean4 Formalization of Polynomial Functors
  ☆27Dec 22, 2025Updated last month
• jonsterling / latex-dieudonne

  View on GitHub
  A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.
  ☆19May 1, 2021Updated 4 years ago
• c-cube / bare-ocaml

  View on GitHub
  runtime library and code-generator for BARE (https://baremessages.org/)
  ☆23Aug 16, 2024Updated last year
• wenkokke / idris-sesh

  View on GitHub
  Session types in Idris2!
  ☆27Dec 14, 2020Updated 5 years ago
• lengyijun / goldbach_tm

  View on GitHub
  Goldbach conjecture = 25-state turing machine
  ☆36Jan 13, 2025Updated last year
• liamoc / hilbert

  View on GitHub
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Aug 1, 2014Updated 11 years ago
• felixwellen / synthetic-geometry

  View on GitHub
  Synthetic geometry. Probably mostly algebraic geometry.
  ☆25Jan 22, 2024Updated 2 years ago
• merryhime / mp

  View on GitHub
  A small header-only C++17 metaprogramming library
  ☆21Aug 10, 2021Updated 4 years ago
• uds-psl / coq-library-complexity

  View on GitHub
  ☆34Jul 14, 2023Updated 2 years ago