🏡
FP λ Software Engineer with Scala (Cats, Monix, Fs2), Haskell, Elm, F#, Elixir, Java and Kotlin (Λrrow, Reactor Project, Rx, Vert.x, Ktor)
-
ADDI
- Bogotá - Colombia
Stars
Sort by: Recently starred
A Direct-Style Scala Wrapper Around the Structured Concurrency of Project Loom
Porting of the Raise DSL from the Arrow Kt Kotlin library
Unwrapped is an effects library for Scala 3 that introduces structured concurrency and an abilities system to describe pure functions and programs.
C# functional language extensions - a base class library for functional programming
📜 Haskell course info, plan, video lectures, slides
♊ higher-order, no-boilerplate monads
Agda is a dependently typed programming language / interactive theorem prover.
A next-generation Scala framework for building scalable, correct, and efficient HTTP clients and servers