kedlaya / tetrahedraLinks
☆35Updated 3 months 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中文教程☆35Updated 9 months ago
- 老面 (sourdough, lit. "old dough") is used as the starter for fermenting dough. This repository contains my digital 老面.☆10Updated last month
- ☆12Updated 4 years ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 4 years ago
- Python bindings for egg☆49Updated 2 years ago
- The Open Problems Project☆39Updated 4 months ago
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- The main source code for Regina☆39Updated this week
- The root repository for the SpectralSequences project.☆31Updated 2 weeks ago
- Macaulay2 web app with support for KaTeX and HTML output☆19Updated last month
- Mathematical notes and papers☆27Updated 3 weeks ago
- Constructive Interpretations of HoTT☆36Updated 5 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆17Updated 7 months ago
- 🍎 Play Bad Apple! with Haskell☆15Updated 3 years ago
- Yet another python JIT.☆20Updated 2 years ago
- Compiling finite generators to digital logic. WIP☆13Updated 5 years ago
- Representing Wolfram Language expressions in Rust.☆21Updated last year
- A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.☆30Updated 6 years ago
- A Rule-Based Integrator Built On An If-Then-Else Decision Tree☆37Updated 4 years ago
- Rubi for Mathematica☆251Updated last year
- Mathematica Theory of Computer Algebra System☆119Updated 10 years ago
- ☆93Updated 2 years ago
- Wolfram Language support for Visual Studio Code.☆51Updated 3 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Updated 3 years ago
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆19Updated 6 years ago
- Computer graphics in Rust (Geometry, PBR, RT) and Taichi (Collision, Rigid Dynamics). 44100652/44100642 course assignments.☆25Updated 3 years ago
- egraphs-good website☆18Updated last year
- Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)☆145Updated last year
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated last year