Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by i-walker
A curated list of projects in awesome lists by i-walker .
https://github.com/i-walker/arrow-docset
A Dash-docset for Λrrow
arrow-kt category-theory dash dash-docset functional functional-programming kotlin kotlin-library monads
Last synced: 15 Oct 2024
https://github.com/i-walker/arend-exercises
Learning repository for arend-lang
Last synced: 15 Oct 2024
https://github.com/i-walker/spring-webflux-arrow-example
A microservice example with Spring Webflux + Arrow in Kotlin
Last synced: 15 Oct 2024
https://github.com/i-walker/fp-ts-slides
Slides for Typed FP in TS
category category-theory functional-programming slides tagless-final typescript
Last synced: 15 Oct 2024