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
- ☆14Oct 9, 2019Updated 6 years ago
- An higher-level LLVM binding for OCaml☆14Apr 4, 2017Updated 8 years ago
- A pool of connections for Hasql☆18Jan 6, 2026Updated 2 months ago
- being a slightly rethought version of the Frank implementation☆23Feb 9, 2016Updated 10 years ago
- A verified compiler for a lazy functional language☆39Updated this week
- Build minimalist distroless docker images for your java applications using Mill☆15Jul 15, 2025Updated 7 months ago
- Interval Arithmetic☆27Jan 23, 2025Updated last year
- 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
- A simple macro-less logging typeclass with some common backends☆22Updated this week
- Type safe abstract binding trees for Haskell, using Vinyl☆16Oct 1, 2017Updated 8 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
- 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
- Icicle Streaming Query Language☆28Jan 20, 2026Updated last month
- 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 2 months ago
- Effect Handlers for Java / the JVM☆29Feb 27, 2020Updated 6 years ago
- Martin-Löf Extensible Specification and Simulator☆29Jul 1, 2015Updated 10 years ago
- Structured logging solution.☆38Oct 22, 2025Updated 4 months ago
- A List of Foundational Haskell Papers☆886Nov 8, 2024Updated last year
- Notes on Functional Programming and related topics☆30Jun 9, 2022Updated 3 years ago
- Resources for the aspiring optician☆43Jun 3, 2020Updated 5 years ago
- Deriving via☆33Aug 6, 2018Updated 7 years ago
- being the beginnings of at least zero typecheckers☆34Apr 13, 2017Updated 8 years 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
- Unification and type inference algorithms☆127Feb 21, 2015Updated 11 years ago