mroman42 / vitrea-prototype-1View external linksLinks
[WIP] Optics via the profunctor representation theorem
☆20Dec 18, 2019Updated 6 years ago
Alternatives and similar repositories for vitrea-prototype-1
Users that are interested in vitrea-prototype-1 are comparing it to the libraries listed below
Sorting:
- a new, WIP Haskell compiler☆14Apr 21, 2020Updated 5 years ago
- An interpreted lambda calculus with Algebraic and Recursive Types.☆20Jul 13, 2021Updated 4 years ago
- experimenting with unlifted classes via backpack☆37Aug 17, 2022Updated 3 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- ☆10Feb 3, 2016Updated 10 years ago
- A visualiser for lambda terms as rooted maps.☆13Dec 17, 2021Updated 4 years ago
- ☆10Dec 18, 2022Updated 3 years ago
- Bidirectional Parsing. Work in Progress☆33Sep 23, 2024Updated last year
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- Efficient search weighted by an ordered monoid with monus.☆19Dec 12, 2022Updated 3 years ago
- A personal library, formalizing cohesive homotopy type theory in Agda.☆13Apr 30, 2019Updated 6 years ago
- ☆11Jun 6, 2022Updated 3 years ago
- Combine and enhance Functors☆39Aug 12, 2025Updated 6 months ago
- Free Algebras in Haskell☆38Aug 29, 2024Updated last year
- My Idris2 solutions/attempts for Advent of Code 2020☆17Dec 16, 2020Updated 5 years ago
- Yoneda lemma in every known language☆17Mar 10, 2023Updated 2 years ago
- ☆21Dec 8, 2022Updated 3 years ago
- Isomorphic Reasoning: Counting with Types☆38Jun 5, 2020Updated 5 years ago
- An approach to higher algebra in type theory☆23May 12, 2020Updated 5 years ago
- System F implemented in Haskell☆24Mar 15, 2012Updated 13 years ago
- A toolkit for higher-dimensional diagram rewriting.☆18Sep 15, 2022Updated 3 years ago
- every day i'm truffling☆70Mar 26, 2021Updated 4 years ago
- Optics via the profunctor representation theorem☆24Dec 6, 2024Updated last year
- the dynabook but for haskell☆23Sep 23, 2019Updated 6 years ago
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 years ago
- Directed Acyclic Graphs☆21Jan 12, 2025Updated last year
- n queens with the logic monad☆20Jan 10, 2015Updated 11 years ago
- Free categories, free arrows and free categories with monadic actions☆24Mar 4, 2025Updated 11 months ago
- A gv file representing the relationships between various algebraic structures.☆19Oct 25, 2020Updated 5 years ago
- Haskell library for doing category theory with a central role for profunctors☆24Feb 6, 2026Updated last week
- ☆23Aug 30, 2017Updated 8 years ago
- Profunctor optics for the endofunctor category on Hask☆27Sep 23, 2020Updated 5 years ago
- An approach to user interfaces based in denotational design.☆27Jan 7, 2023Updated 3 years ago
- higher-kinded data☆30May 16, 2023Updated 2 years ago
- Show programming language printed values in a web UI☆24May 16, 2019Updated 6 years ago
- A toy implementation of Haxl to illustrate the internals☆22Jun 29, 2017Updated 8 years ago
- Selective Functors & Probabilistic Programming☆22Jun 17, 2021Updated 4 years ago
- open union and open product types in Haskell☆31Aug 9, 2020Updated 5 years ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Jan 16, 2026Updated 3 weeks ago