statusfailed / open-hypergraphs
a datastructure for scalable combinatorial syntax
☆12Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for open-hypergraphs
- ☆12Updated 2 years ago
- A toolkit for higher-dimensional diagram rewriting.☆15Updated 2 years ago
- (early experiments toward) a version-control system for structured data☆17Updated last year
- Agda category theory library for denotational design☆48Updated 5 months ago
- A program for generating LaTeX TikZ code for string diagrams.☆18Updated 3 years ago
- Ground Zero: Lean 4 HoTT Library☆45Updated last month
- A Lean 4 library for iterators.☆11Updated 11 months ago
- ☆44Updated last year
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆26Updated 5 years ago
- Interpret Haskell programs into any cartesian closed category.☆57Updated last week
- egraph <-> json☆12Updated last month
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- An LLVM interface for Lean 4. (WIP)☆15Updated last year
- Bologna Optimal Higher-Order Machine, Version 1.1☆67Updated 7 years ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆45Updated last month
- Formalising the WASM spec in Lean☆17Updated 5 months ago
- Template to effortlessly build math-rich websites☆39Updated 2 years ago
- ☆13Updated last year
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- An efficient graph library for Haskell☆39Updated 3 months ago
- a library for experimental linear lambda calculus☆19Updated last year
- Specification of the Cedille Core language☆29Updated 4 years ago
- A string diagram generator for LaTeX.☆26Updated last year
- string diagrams for the working programmer☆12Updated last year
- A type theory with native support for Polynomial Functors.☆38Updated last year
- An implementation of a simple Neural network in Idris using category theory.☆22Updated 2 months ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆51Updated last year
- LLVM support for the lean theorem prover☆31Updated 3 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 5 months ago