truizlop / CategoryTheoryForProgrammersView external linksLinks
Notes from Category Theory for Programmers lessons by Bartosz Milewski
☆29Sep 15, 2017Updated 8 years ago
Alternatives and similar repositories for CategoryTheoryForProgrammers
Users that are interested in CategoryTheoryForProgrammers are comparing it to the libraries listed below
Sorting:
- Functional Kotlin with Arrow (project done for Android)☆26Sep 27, 2018Updated 7 years ago
- A Swift Playground to get started using Bow☆37Jan 10, 2019Updated 7 years ago
- An experiment for bringing Comonadic UIs to Android☆17Oct 15, 2018Updated 7 years ago
- Kotlin sample code for Bartosz Milewski's CT for Programmers☆108Mar 9, 2022Updated 3 years ago
- Embeddable component for running Kotlin's Arrow library code snippets☆22Apr 4, 2023Updated 2 years ago
- Thunk is middleware for async action dispatch for Redux-Kolin☆19Jan 30, 2026Updated 2 weeks ago
- Repo for generating a docker image with all the needed tools by the crossplatform team☆25Sep 5, 2024Updated last year
- Λrrow Core is part of Λrrow, a functional companion to Kotlin's Standard Library☆78Feb 18, 2021Updated 4 years ago
- Slides, resources and other things related to Healthy Minds in a Healthy Community☆20Jun 28, 2018Updated 7 years ago
- Plutus Experience Modules☆21Updated this week
- ☆19Nov 17, 2016Updated 9 years ago
- Swift sample code for Bartosz Milewski's book "Category Theory for Programmers"☆93Dec 2, 2019Updated 6 years ago
- HoTT Note-taking action☆25Mar 24, 2019Updated 6 years ago
- 🏹 Bow is a cross-platform library for Typed Functional Programming in Swift☆659Oct 9, 2022Updated 3 years ago
- Full Kotlin multi stack project☆53Dec 28, 2022Updated 3 years ago
- Sample app for my Droidcon London 2013 talk - "This Way Up: Implementing Effective Navigation"☆84Nov 2, 2013Updated 12 years ago
- WIP. Rekkit is a proof of concept for Android using Kotlin + Actors+ Kategory☆22Nov 17, 2017Updated 8 years ago
- A sample project to demonstrate how to build and link to Swift frameworks dynamically without using Xcode.☆25Jul 6, 2015Updated 10 years ago
- An open IDE for web and native mobile development, built on top of Atom☆25Aug 2, 2016Updated 9 years ago
- Kotlin Training Track - Subscription Service☆32Sep 9, 2023Updated 2 years ago
- Property based testing for kotlintest ported from quickcheck☆34Jan 23, 2020Updated 6 years ago
- a simple 2D game engine in Metal☆31Feb 13, 2019Updated 7 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆33Apr 21, 2019Updated 6 years ago
- A base template for building your own Lua scripts for Tabletop Simulator. It includes an actual implementation for the cooperative deck-b…☆16Dec 30, 2025Updated last month
- Simple form validation using Arrow☆45Nov 5, 2018Updated 7 years ago
- Render 3D text and svg with Metal☆13Oct 28, 2018Updated 7 years ago
- ☆25Apr 10, 2019Updated 6 years ago
- My hopelessly idiosyncratic music software☆11Aug 18, 2018Updated 7 years ago
- ☆11Aug 25, 2018Updated 7 years ago
- Implementation of multi-armed bandits in Julia☆12Jan 12, 2020Updated 6 years ago
- ☆11Nov 3, 2023Updated 2 years ago
- A Kotlin compiler plugin that annotates Kotlin-generated methods for improved coverage reports☆34Feb 7, 2020Updated 6 years ago
- Kotest extensions for Arrow☆40Feb 2, 2025Updated last year
- GraphQL implementation written in Swift☆39Jun 13, 2017Updated 8 years ago
- A glorious screen saver of Nick Offerman drinking whisky☆35Oct 5, 2016Updated 9 years ago
- A Kotlin DSL for regular expressions☆92Oct 17, 2016Updated 9 years ago
- Plugin for EPUB ebooks' edition☆13Dec 9, 2015Updated 10 years ago
- Rust interface to the OS native signpost debug facilities☆10Dec 2, 2016Updated 9 years ago
- Efficient filtering and linear algebra routines for multidimensional arrays☆11Dec 19, 2023Updated 2 years ago