wetneb / sheetshowLinks
A renderer for sheet diagrams in bimonoidal categories
☆13Updated 3 years ago
Alternatives and similar repositories for sheetshow
Users that are interested in sheetshow are comparing it to the libraries listed below
Sorting:
- A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.☆13Updated 3 years ago
- ☆64Updated 2 years ago
- Mystery Languages☆38Updated last year
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated last week
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Updated 2 months ago
- ☆13Updated 3 months ago
- Course on Metaprogramming☆72Updated last month
- ☆132Updated 3 years ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆22Updated 4 months ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆59Updated 11 months ago
- AlgoRhythm: A Haskell library for algorithmic music composition.☆21Updated 7 years ago
- Catalog of visual lambda calculi☆148Updated 3 weeks ago
- miniKanren with a first-order representation of the search space☆17Updated last year
- BDD-based implementation of Datalog☆37Updated 5 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆63Updated 9 months ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 9 months ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- Agda lecture notes for the Functional Programming course at TU Delft☆128Updated 3 weeks ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆114Updated this week
- Datatypes as quotients of polynomial functors☆36Updated 5 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- A monadic approach to static analysis following the methodology of AAM☆18Updated 9 years ago
- A work-in-progress core language for Agda, in Agda☆55Updated last month
- ☆36Updated last year
- Animations of lambda term reduction sequences☆141Updated 7 years ago
- Some tools for provability logic☆37Updated 7 years ago
- The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.☆28Updated last year
- Agda category theory library for denotational design☆51Updated last year