Awesome Lean / Libraries
15Effects, Concurrency & Streams
8 entries
- flowReactive streams (Flow, SharedFlow, StateFlow).predictable-machines/lean4-flow
- StraumeStreams library.argumentcomputer/straume
- lean-effSmall extensible-effects library.palladin/lean-eff
- lean-effectsAlgebraic effects.paulcadman/lean-effects
- lean-reducersParallel, fused reducers.palladin/lean-reducers
- EffSpecEffect monads with specifications (Dijkstra monads).Izzimach/EffSpec-lean
- lentilCompile-time dependency injection.pb64-lean/lentil
- lean-cloudParallel and distributed programming with monadic workflows over shared blob storage.palladin/lean-cloud