kedlaya / tetrahedra
☆35Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for tetrahedra
- The root repository for the SpectralSequences project.☆25Updated 3 weeks ago
- Mathematical notes and papers☆25Updated 2 months ago
- 老面 (sourdough, lit. "old dough") is used as the starter for fermenting dough. This repository contains my digital 老面.☆10Updated 3 months ago
- Macaulay2 web app with support for KaTeX and HTML output☆16Updated this week
- Translation of professor Joseph Polchinski's article 'Memories of a Theoretical Physicist'☆23Updated 7 years ago
- Haskell experiments involving TVM AI framework☆21Updated 5 years ago
- Lean4中文教程☆30Updated last year
- An educational game about Wanli Period of the Ming Dynasty☆8Updated 4 years ago
- Constructive Interpretations of HoTT☆36Updated 4 years ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆19Updated 3 years ago
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆17Updated 6 years ago
- TaichiCon: Taichi Conferences☆71Updated 2 years ago
- Exponent pair database☆19Updated this week
- The main source code for Regina☆33Updated this week
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- Lean4 backend using `libgccjit`!☆11Updated last year
- code related to Keller's conjecture☆78Updated last year
- Python bindings for egg☆47Updated last year
- Python3 auto-active verification library (migrated to an Intel project)☆24Updated 2 years ago
- A small tool to convert math equations written in LaTeX to equivalent C-Code.☆49Updated 8 months ago
- Path Tracing in JAX☆70Updated 4 years ago
- Compiling finite generators to digital logic. WIP☆14Updated 4 years ago
- Lindemann–Weierstrass Theorem☆11Updated 6 months ago
- Symbolic Geometric Algebra with E-Graphs☆18Updated last year
- QuanTaichi evaluation suite☆148Updated last year
- ☆10Updated 4 years ago