varkor / tangleLinks
A modern string diagram editor for the web.
☆25Updated 2 months ago
Alternatives and similar repositories for tangle
Users that are interested in tangle are comparing it to the libraries listed below
Sorting:
- Mirror of ocaml-forester☆45Updated last year
- A program for generating LaTeX TikZ code for string diagrams.☆18Updated 4 years ago
- ☆36Updated 3 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- An attempt towards univalent classical mathematics in Cubical Agda.☆30Updated last year
- Set up a specific version of Agda for your GitHub Actions workflow.☆27Updated last month
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆46Updated last year
- A digital archive of category theory papers.☆30Updated last year
- Agda formalisation of second-order abstract syntax☆55Updated 2 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- ☆29Updated 3 years ago
- Basics of the dependently-typed functional language Agda ^_^☆39Updated 3 years ago
- An implementation of a simple Neural network in Idris using category theory.☆23Updated 9 months ago
- A formalization of the theory behind the mugen library☆19Updated last year
- ☆16Updated last month
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- being a particular fragment of Haskell, extended to a proof system☆32Updated 4 months ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆63Updated 8 months ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆27Updated 3 months ago
- A database of small finite categories☆14Updated last year
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- 🪆 A Staged Type Theory☆35Updated last year
- Yoneda lemma in every known language☆17Updated 2 years ago
- Archive of the categories mailling list☆11Updated 4 years ago
- Paper and talk☆54Updated last year
- Categorical Logic Notes☆78Updated 3 years ago
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 4 years ago
- Let's rethink how we interact with Agda☆18Updated 2 years ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆37Updated last year
- apkg - package manager for Agda☆38Updated 3 years ago