cohomolo-gy / Type-Arithmetic-and-the-Yoneda-PerspectiveView external linksLinks
Slides for Scalaworld 2019
☆15Oct 29, 2020Updated 5 years ago
Alternatives and similar repositories for Type-Arithmetic-and-the-Yoneda-Perspective
Users that are interested in Type-Arithmetic-and-the-Yoneda-Perspective are comparing it to the libraries listed below
Sorting:
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Jun 16, 2024Updated last year
- Isomorphic Reasoning: Counting with Types☆38Jun 5, 2020Updated 5 years ago
- Generic programming experiment in Scala☆19Sep 27, 2021Updated 4 years ago
- This library tries to push categorical representations to their limit in Scala. I don’t expect it to be practical.☆11Dec 15, 2023Updated 2 years ago
- Code for the "Logic, machines and sequent calculus" talk☆31Sep 7, 2022Updated 3 years ago
- Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski☆26Jan 4, 2023Updated 3 years ago
- Specialized Monad Transformer instances for better performance☆11Mar 25, 2018Updated 7 years ago
- An higher-level LLVM binding for OCaml☆14Apr 4, 2017Updated 8 years ago
- ☆14Oct 9, 2019Updated 6 years ago
- Solving UKPassportApplication with Haskell☆20Jun 30, 2025Updated 7 months ago
- being a slightly rethought version of the Frank implementation☆23Feb 9, 2016Updated 10 years ago
- A pool of connections for Hasql☆18Jan 6, 2026Updated last month
- A verified compiler for a lazy functional language☆39Updated this week
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆21Aug 5, 2025Updated 6 months ago
- Build minimalist distroless docker images for your java applications using Mill☆15Jul 15, 2025Updated 7 months ago
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Nov 27, 2020Updated 5 years ago
- Automatically generated Nix expressions for Hackage☆20Updated this week
- Unique Functional Values for Scala☆17Sep 3, 2024Updated last year
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆44Jul 27, 2019Updated 6 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Jun 9, 2023Updated 2 years ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Sep 3, 2019Updated 6 years ago
- Order theory☆25Sep 7, 2023Updated 2 years ago
- ☆33Mar 19, 2015Updated 10 years ago
- Rrecursion schemes without the barbed wire☆24Jun 3, 2018Updated 7 years ago
- Source code shown at my talks at Scale by the Bay 2018 and Scalar 2019☆26Apr 27, 2019Updated 6 years ago
- Batteries-included structured logging library☆31Dec 15, 2025Updated 2 months ago
- HTTP service for schema storage and client generation☆28Oct 6, 2022Updated 3 years ago
- Haskell parser and printer for the TOML 1.0.0 file format☆29Jan 7, 2026Updated last month
- Icicle Streaming Query Language☆28Jan 20, 2026Updated 3 weeks ago
- Code for FP to the Min talk at Scala in the City Conference.☆53Jun 13, 2020Updated 5 years ago
- Effect Handlers for Java / the JVM☆29Feb 27, 2020Updated 5 years ago
- Martin-Löf Extensible Specification and Simulator☆29Jul 1, 2015Updated 10 years ago
- A List of Foundational Haskell Papers☆886Nov 8, 2024Updated last year
- Deriving via☆33Aug 6, 2018Updated 7 years ago
- Notes on Functional Programming and related topics☆30Jun 9, 2022Updated 3 years ago
- Efficient parser combinators for Haskell☆39Nov 25, 2025Updated 2 months ago
- Github bot for keeping your Bazel dependencies up-to-date and clean☆27Mar 20, 2020Updated 5 years ago
- Macros to scrap ZIO boilerplate☆32Mar 15, 2020Updated 5 years ago
- Purely Functional, Final Tagless interpreter for the Befunge-93 esolang☆36Feb 14, 2018Updated 8 years ago