Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: freer-monads
lthms/FreeSpec
A framework for implementing and certifying impure computations in Coq
Language: Coq - Size: 958 KB - Last synced: about 1 month ago - Pushed: 5 months ago - Stars: 51 - Forks: 11
IxpertaSolutions/freer-effects 📦
An implementation of "Freer Monads, More Extensible Effects".
Language: Haskell - Size: 204 KB - Last synced: about 1 month ago - Pushed: almost 6 years ago - Stars: 64 - Forks: 12
fonghou/freer-simple
Language: Haskell - Size: 614 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 2 - Forks: 1