kedlaya / tetrahedraLinks
☆35Updated 3 years ago
Alternatives and similar repositories for tetrahedra
Users that are interested in tetrahedra are comparing it to the libraries listed below
Sorting:
- Lean4中文教程☆34Updated 4 months ago
- Compiling finite generators to digital logic. WIP☆14Updated 4 years ago
- Macaulay2 web app with support for KaTeX and HTML output☆18Updated last week
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- MLIR tools and dialect for GraphBLAS☆18Updated 3 years ago
- Optimal approximate sampling from discrete probability distributions☆17Updated 4 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- Automatic Differentiation for Tensor Algebras☆28Updated 7 years ago
- Yet another python JIT.☆20Updated 2 years ago
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 3 years ago
- tokenizer and parser for circle projects☆11Updated 5 years ago
- Python bindings for egg☆49Updated 2 years ago
- code related to Keller's conjecture☆78Updated 2 years ago
- The main source code for Regina☆38Updated this week
- TaichiCon: Taichi Conferences☆73Updated 3 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- An experimental ahead of time compiler for Relay.☆50Updated 5 years ago
- Please go to https://github.com/maTHmU/nV☆15Updated 11 years ago
- Translate Python and JavaScript into MLIR☆16Updated 2 years ago
- The root repository for the SpectralSequences project.☆30Updated 3 months ago
- BibTeX bibliography for The Princeton Companion to Applied Mathematics.☆10Updated 9 years ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆15Updated last year
- Automatic Differentiation for high-performance stencil loops☆12Updated 4 years ago
- Taichi Frontend for Rust☆49Updated 2 years ago
- ☆40Updated last year
- A Lean formal proof of the Combinatorial Nullstellensatz☆11Updated 2 years ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 3 years ago
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆53Updated 10 months ago
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆16Updated 3 months ago