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 implementation of Conway's Game of Life in Swift, using Bow and SwiftUI☆17Updated 5 years ago
- A Swift Playground to get started using Bow☆37Updated 6 years ago
- ☆12Updated 6 years ago
- An experiment for bringing Comonadic UIs to Android☆17Updated 6 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
- The plugin to manage benchmarks on your CI☆17Updated 8 months ago
- UI Automator Gesture Generation DSL☆17Updated 7 years ago
- Lambda.World Cádiz 2018 Workshop - Encoding Functional web services using Arrow and Ktor☆41Updated 6 years ago
- 🏛 Functional Architecture in Swift using Bow☆198Updated 2 years ago
- Property based testing for kotlintest ported from quickcheck☆34Updated 5 years ago
- Haskell training repository used to learn Haskell and functional programming☆20Updated 3 years ago
- Swift sample code for Bartosz Milewski's book "Category Theory for Programmers"☆93Updated 5 years ago
- Kotlin sample code for Bartosz Milewski's CT for Programmers☆106Updated 2 years ago
- Haskell binding to Apple's SpriteKit framework☆174Updated 4 years ago
- An approximation of newtypes in Swift.☆13Updated 6 years ago
- Embeddable component for running Kotlin's Arrow library code snippets☆21Updated last year
- Kotlin recursion schemes with Arrow☆22Updated 6 years ago
- 🏹 Bow Lite is a cross-platform library for Typed Functional Programming in Swift☆29Updated 3 years ago
- RxJava extensions for Arrow's Data Types☆16Updated 3 years ago
- ☆23Updated 5 years ago
- 📱Client-side code for the nef editor app☆20Updated 3 years ago
- An example of the ELM architecture on Android using Kotlin with Anko☆59Updated 8 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
- Comonads By Example Conference talk☆89Updated 5 years ago
- Typeful functional programming in Kotlin☆12Updated 7 years ago
- playing around with an FP interface to animations☆19Updated 6 years ago
- Finished Book of Monads by Alejandro Serrano-Mena☆26Updated 4 years ago
- ☆80Updated 5 years ago
- ΛNK: Compile time docs verification and evaluation for Kotlin and Java (Temporarily moved to Arrow-kt)☆53Updated 5 years ago
- Functional Hangman game implemented with Kotlin and Arrow (based on https://abhsrivastava.github.io/2018/11/03/Hangman-Game-Using-ZIO/)☆17Updated 5 years ago