annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski
☆20Sep 24, 2019Updated 6 years ago
Alternatives and similar repositories for Category4Programmers
Users that are interested in Category4Programmers are comparing it to the libraries listed below
Sorting:
- Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.☆14Jan 18, 2018Updated 8 years ago
- an exploration of subtyping-based category theory in scala☆25Dec 22, 2010Updated 15 years ago
- sometimes math is just too much fun☆22Jun 25, 2015Updated 10 years ago
- A Coq formalization of the textbook Categories and Toposes: Visualized and Explained☆21Sep 21, 2022Updated 3 years ago
- Pong game written in the boot sector☆38Jan 26, 2026Updated last month
- Some quines in the Go programming language☆15Mar 8, 2023Updated 2 years ago
- A simple Lisp implementation written in TypeScript(earlier version)☆10Jul 11, 2017Updated 8 years ago
- WIP self-hosted Discord music bot built in Haskell☆10Apr 1, 2025Updated 11 months ago
- The pg_meminfo Postgres Extension☆23Aug 20, 2025Updated 6 months ago
- Interface for generating Categorical Query Language files to merge/migrate data between databases☆14Aug 9, 2021Updated 4 years ago
- Relational Programming DSL in Scala. Yet another minikanren port!☆15Nov 11, 2016Updated 9 years ago
- Functional combinators for PHP.☆11Jun 3, 2017Updated 8 years ago
- ☆10Jul 26, 2021Updated 4 years ago
- Applied category theory applied to epidemiological models☆12Aug 7, 2024Updated last year
- Set of libraries for writing and composing PromQL queries as-code in several languages.☆15Feb 26, 2026Updated last week
- An Implementation of the MLS (Messaging Layer Security) Standard (RFC 9420) in Kotlin☆12Mar 15, 2024Updated last year
- ☆13Aug 3, 2021Updated 4 years ago
- An online IEx☆10Apr 10, 2016Updated 9 years ago
- A functional programming language. Like LISP but focused around maps rather than lists.☆12Jun 12, 2019Updated 6 years ago
- Modular EuroRacks Dancing Along☆13Feb 29, 2024Updated 2 years ago
- Run desktop applications in a Docker container☆13Jun 16, 2017Updated 8 years ago
- A media server written in Haskell and Cycle.js☆11Jun 9, 2018Updated 7 years ago
- TodoMVC for Flutter☆10Nov 1, 2020Updated 5 years ago
- ☆12Feb 25, 2026Updated last week
- A modal FRP language embedded in Haskell.☆14Oct 16, 2023Updated 2 years ago
- Benchmark stuff with javascript in either node or browser☆10Nov 3, 2016Updated 9 years ago
- Tracking object system from Correios (Brazil).☆14Nov 2, 2016Updated 9 years ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- Lilith is an open-source programming language written in C.☆12Feb 8, 2025Updated last year
- Roma mobile☆13May 18, 2025Updated 9 months ago
- Experiments using a bidirectional typesystem☆17Jan 30, 2022Updated 4 years ago
- 🍅A Pomodoro Technique web app built with Elm☆12Oct 3, 2019Updated 6 years ago
- Aqui você encontra textos sobre sobre a história da web de abrangência mundial e específicas do Brasil no idioma português, inclusive con…☆11Oct 29, 2024Updated last year
- ☆10Jun 7, 2025Updated 8 months ago
- Using Luxor.jl to design common diagrams found in Category Theory 🐱☆13Mar 26, 2022Updated 3 years ago
- Using Arrows to model parallel processes/computations.☆18Aug 1, 2020Updated 5 years ago
- Language definition and parser for AVRO (.avdl) files.☆16Jan 21, 2022Updated 4 years ago
- Regular expressions of types☆16Sep 13, 2018Updated 7 years ago
- Package evdev provides input and uinput handling on Linux.☆15Mar 25, 2019Updated 6 years ago