mroman42 / vitreaView external linksLinks
Optics via the profunctor representation theorem
☆24Dec 6, 2024Updated last year
Alternatives and similar repositories for vitrea
Users that are interested in vitrea are comparing it to the libraries listed below
Sorting:
- ☆10Mar 2, 2021Updated 4 years ago
- Free Algebras in Haskell☆38Aug 29, 2024Updated last year
- Semigroups, specialized containers and a general map/reduce framework☆46Mar 3, 2025Updated 11 months ago
- Control.Effects☆19Apr 14, 2019Updated 6 years ago
- pointed and copointed data☆23Mar 3, 2025Updated 11 months ago
- [WIP] Optics via the profunctor representation theorem☆20Dec 18, 2019Updated 6 years ago
- A toolkit for higher-dimensional diagram rewriting.☆18Sep 15, 2022Updated 3 years ago
- ☆24Dec 15, 2025Updated 2 months ago
- WIP: unison http implementation☆19Feb 17, 2020Updated 5 years ago
- Haskell library for doing category theory with a central role for profunctors☆24Feb 6, 2026Updated last week
- STM on Free monads☆25May 16, 2018Updated 7 years ago
- Batteries-included structured logging library☆31Dec 15, 2025Updated last month
- Haskell 98 Profunctors☆70Jun 17, 2025Updated 7 months ago
- Sum and Product types and such☆29Apr 27, 2020Updated 5 years ago
- Haskell implementation of the Edinburgh Logical Framework☆32Jan 12, 2026Updated last month
- LambdaBuffers toolkit for sharing types and their semantics between different languages☆32Updated this week
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆59Nov 13, 2025Updated 3 months ago
- A template for quickly building sites with slick☆29Jan 22, 2026Updated 3 weeks ago
- A usable type system for call by push-value☆33Dec 16, 2019Updated 6 years ago
- Plan✕ is a platform for creating and publishing digital planning services☆17Updated this week
- A collection of tutorials, guidelines, examples, patterns and half-baked ideas on functional reactive programming (FRP).☆65Jan 19, 2021Updated 5 years ago
- Formalizations of strong normalization proofs☆35Jul 8, 2019Updated 6 years ago
- A categorical programming language with effects☆299Mar 6, 2023Updated 2 years ago
- Smash products, Wedge products, and other Pointed stuff☆35Apr 27, 2022Updated 3 years ago
- GHC plugin to branch on whether a constraint is satisfied☆33Jul 29, 2025Updated 6 months ago
- The Haskell tracer - generating and viewing Haskell execution traces☆38Jun 1, 2023Updated 2 years ago
- A DSL for creating 8-bit style music☆33Feb 5, 2024Updated 2 years ago
- Haskell library for simple, concise and fast generic operations.☆82Nov 5, 2023Updated 2 years ago
- Luck -- A Language for Property-Based Generators☆36Feb 28, 2025Updated 11 months ago
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Jan 5, 2026Updated last month
- Dual Traversable☆41Jan 10, 2026Updated last month
- A Lean 4 formalization of partial combinatory algebras.☆14Jan 6, 2025Updated last year
- Combinatorial game library in Lean 4☆56Feb 6, 2026Updated last week
- A monad for managed values☆51Nov 18, 2025Updated 2 months ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Extensions ontop the standard xml library for encoding, decoding, mapping and mutability☆11Feb 24, 2021Updated 4 years ago
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated last year
- ☆15Sep 7, 2025Updated 5 months ago
- Python platform for parallel Surrogate-Based Optimization☆12Nov 27, 2024Updated last year