wetneb / sheetshowLinks
A renderer for sheet diagrams in bimonoidal categories
☆13Updated 4 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.☆15Updated 4 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Updated last week
- ☆64Updated 3 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆41Updated 5 years ago
- ☆13Updated last month
- ☆143Updated 3 years ago
- Mystery Languages☆41Updated 2 years ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆24Updated 10 months ago
- Automated Reasoning for the Working Mathematician☆11Updated 6 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆40Updated 5 months ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆67Updated last year
- A graphical interactive proof assistant designed for education☆171Updated last year
- AlgoRhythm: A Haskell library for algorithmic music composition.☆23Updated 7 years ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆121Updated last month
- Lecture notes on realizability☆75Updated 11 months ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- Partial Commutative Monoids☆32Updated 8 months ago
- Specification of the Cedille Core language☆35Updated 5 years ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆18Updated 3 years ago
- ☆56Updated 9 months ago
- Agda category theory library for denotational design☆57Updated 2 weeks ago
- A (formalised) general definition of type theories☆59Updated 4 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Updated last year
- Real number computation software☆129Updated 3 years ago
- ☆37Updated last year
- Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git☆17Updated 2 years ago
- being some thoughts about introductory mathematics for computer science☆17Updated 5 months ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 4 months ago
- An extension to PUMPKIN PATCH with support for proof repair across type equivalences.☆49Updated 5 months ago