kedlaya / tetrahedraLinks
☆35Updated 3 weeks ago
Alternatives and similar repositories for tetrahedra
Users that are interested in tetrahedra are comparing it to the libraries listed below
Sorting:
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- Compiling finite generators to digital logic. WIP☆14Updated 5 years ago
- Python bindings for egg☆49Updated 2 years ago
- code related to Keller's conjecture☆78Updated 2 years ago
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 3 years ago
- 老面 (sourdough, lit. "old dough") is used as the starter for fermenting dough. This repository contains my digital 老面.☆10Updated 3 months ago
- Lean4中文教程☆34Updated 7 months ago
- Macaulay2 web app with support for KaTeX and HTML output☆19Updated 3 weeks ago
- egraphs-good website☆17Updated 10 months ago
- The root repository for the SpectralSequences project.☆31Updated 3 weeks ago
- Mathematical notes and papers☆26Updated last week
- Yet another python JIT.☆20Updated 2 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆17Updated 5 months ago
- Taichi Frontend for Rust☆48Updated 2 years ago
- A database app for ring theory☆22Updated 2 months ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 3 years ago
- 十分钟魔法练习 in OCaml☆33Updated 3 years ago
- Automatic Differentiation for high-performance stencil loops☆12Updated 4 years ago
- Constructive Interpretations of HoTT☆36Updated 5 years ago
- ☆12Updated 3 years ago
- ☆23Updated 2 years ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 3 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Updated 2 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Updated last year
- The main source code for Regina☆38Updated this week
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- embedding MLIR in LEAN☆47Updated last year
- slides of zju-lambda☆14Updated 6 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- QuanTaichi evaluation suite☆161Updated last year