kedlaya / tetrahedra
☆35Updated 3 years ago
Alternatives and similar repositories for tetrahedra:
Users that are interested in tetrahedra are comparing it to the libraries listed below
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- Compiling finite generators to digital logic. WIP☆14Updated 4 years ago
- Macaulay2 web app with support for KaTeX and HTML output☆18Updated 4 months ago
- Mathematical notes and papers☆26Updated this week
- Haskell experiments involving TVM AI framework☆20Updated 6 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆16Updated last month
- Translation of professor Joseph Polchinski's article 'Memories of a Theoretical Physicist'☆23Updated 7 years ago
- Lean4中文教程☆34Updated 3 months ago
- Tex source for talk slide.☆10Updated 4 years ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆12Updated last year
- ☆18Updated last year
- An educational game about Wanli Period of the Ming Dynasty☆8Updated 5 years ago
- Composable autodiff for the interactive web.☆25Updated 7 months ago
- code related to Keller's conjecture☆78Updated 2 years ago
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆18Updated 6 years ago
- The main source code for Regina☆38Updated this week
- Project to verify the Guy-Selfridge conjectures☆15Updated this week
- The root repository for the SpectralSequences project.☆30Updated last month
- MLFS type system: raising ML to the power of system F in a Simplest way☆19Updated 4 years ago
- An experimental ahead of time compiler for Relay.☆50Updated 5 years ago
- Optimal approximate sampling from discrete probability distributions☆17Updated 4 years ago
- 🍎 Play Bad Apple! with Haskell☆15Updated 2 years ago
- PKU CompNet'19 Lab 2 - Homebrew TCP☆12Updated 5 years ago
- Python bindings for egg☆48Updated 2 years ago
- data files for comparing optimal transport algorithms☆9Updated 5 years ago
- A Lean formal proof of the Combinatorial Nullstellensatz☆11Updated 2 years ago
- ☆12Updated 3 years ago
- Wolfram Function Repository Issue Tracer☆12Updated 4 years ago
- MLIR tools and dialect for GraphBLAS☆18Updated 3 years ago
- 老面 (sourdough, lit. "old dough") is used as the starter for fermenting dough. This repository contains my digital 老面.☆10Updated 5 months ago