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:
- code related to Keller's conjecture☆78Updated 2 years ago
- Lean4中文教程☆34Updated 6 months ago
- Constructive Interpretations of HoTT☆36Updated 4 years ago
- Python bindings for egg☆49Updated 2 years ago
- Mathematical notes and papers☆26Updated 2 months ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 3 years ago
- 老面 (sourdough, lit. "old dough") is used as the starter for fermenting dough. This repository contains my digital 老面.☆10Updated 2 months ago
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 3 years ago
- 十分钟魔法练习 in OCaml☆33Updated 3 years ago
- The main source code for Regina☆38Updated this week
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- The root repository for the SpectralSequences project.☆30Updated this week
- Libraries and tools for topological and geometric modeling.☆18Updated 4 months ago
- 🍎 Play Bad Apple! with Haskell☆15Updated 3 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Macaulay2 web app with support for KaTeX and HTML output☆19Updated last month
- slides of zju-lambda☆14Updated 6 years ago
- ☆12Updated 3 years ago
- QuanTaichi evaluation suite☆161Updated last year
- ☆92Updated last year
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆19Updated 6 years ago
- Compiling finite generators to digital logic. WIP☆14Updated 4 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Updated last year
- A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.☆30Updated 6 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- embedding MLIR in LEAN☆47Updated last year
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆17Updated 4 months ago
- Yet another python JIT.☆20Updated 2 years ago
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆64Updated 3 weeks ago
- Books on programming language theory and linguistics in general.☆54Updated 4 years ago