truizlop / CategoryTheoryForProgrammers
Notes from Category Theory for Programmers lessons by Bartosz Milewski
☆29Updated 7 years ago
Alternatives and similar repositories for CategoryTheoryForProgrammers:
Users that are interested in CategoryTheoryForProgrammers are comparing it to the libraries listed below
- An experiment for bringing Comonadic UIs to Android☆17Updated 6 years ago
- An implementation of Conway's Game of Life in Swift, using Bow and SwiftUI☆17Updated 5 years ago
- ☆12Updated 6 years ago
- A Swift Playground to get started using Bow☆37Updated 6 years ago
- Property based testing for kotlintest ported from quickcheck☆34Updated 5 years ago
- Kotlin recursion schemes with Arrow☆22Updated 6 years ago
- Haskell training repository used to learn Haskell and functional programming☆20Updated 3 years ago
- RSS feed reader written for the second part of my bachelor thesis: A Real-World Application with a Comonadic User Interface.☆52Updated 6 years ago
- Lambda.World Cádiz 2018 Workshop - Encoding Functional web services using Arrow and Ktor☆41Updated 6 years ago
- UI Automator Gesture Generation DSL☆17Updated 7 years ago
- The plugin to manage benchmarks on your CI☆17Updated 9 months ago
- Kotlin sample code for Bartosz Milewski's CT for Programmers☆106Updated 2 years ago
- Embeddable component for running Kotlin's Arrow library code snippets☆21Updated last year
- 🏹 Bow Lite is a cross-platform library for Typed Functional Programming in Swift☆29Updated 3 years ago
- Λrrow Check - Property based testing in Kotlin - It's part of Λrrow, a functional companion to Kotlin's Standard Library☆25Updated 2 years ago
- Haskell binding to Apple's SpriteKit framework☆174Updated 4 years ago
- 🏛 Functional Architecture in Swift using Bow☆198Updated 2 years ago
- ☆23Updated 5 years ago
- Finished Book of Monads by Alejandro Serrano-Mena☆26Updated 4 years ago
- Lenses for Kotlin☆49Updated 4 years ago
- Tagged Unions for the Java 8 connoisseur☆56Updated 8 years ago
- Typeful functional programming in Kotlin☆12Updated 7 years ago
- GOF Patterns in Functional light☆15Updated 5 years ago
- RxJava extensions for Arrow's Data Types☆16Updated 3 years ago
- Comonads By Example Conference talk☆89Updated 5 years ago
- Mu - Purely Functional Microservices for Kotlin☆17Updated 5 years ago
- Functional programming in Kotlin☆44Updated 8 years ago
- Object algebras vs. free monads, or type classes vs. ADTs☆17Updated 7 years ago
- Dragon Ball character rest API written in Scala using Play framework☆13Updated 8 years ago
- Swift sample code for Bartosz Milewski's book "Category Theory for Programmers"☆93Updated 5 years ago