snoyberg / trio
Crazy experiment, ignore unless you know better
☆36Updated 6 years ago
Alternatives and similar repositories for trio:
Users that are interested in trio are comparing it to the libraries listed below
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- Simple extensible product☆37Updated 4 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 2 years ago
- Purescript refinement types with runtime checking☆25Updated 2 years ago
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Updated 4 years ago
- A web audio player demo using Halogen for skipping in different increments☆20Updated 6 years ago
- Wailing into the primordial ooze of category theory☆55Updated 3 months ago
- Haskell types lined up to highlight their similarities☆31Updated 5 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- deprecated in favor of -XQualifiedDo☆41Updated 3 years ago
- A total recursion scheme library for Dhall☆66Updated this week
- A recursion scheme library for Idris.☆24Updated 3 months ago
- Haskell Webapps on AWS Lambda☆43Updated 2 years ago
- ☆31Updated 3 years ago
- HoTT Note-taking action☆25Updated 5 years ago
- Classes for parallel composition and racing of asynchronous computations☆43Updated last year
- Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9☆32Updated 2 years ago
- Optical Purescript UI library based on React and the Elm architecture, but without the boilerplate.☆49Updated 6 years ago
- Tasty meal of Dhall☆66Updated last year
- Refined types☆57Updated 6 years ago
- An IO monad for PureScript.☆44Updated 6 years ago
- A drop-in replacement for Pux's React based renderer which needs no foreign dependencies.☆13Updated 6 years ago
- Selective applicative functors☆15Updated 6 years ago
- The official repository for the LambdaConf 2017 Winter Retreat (January 8 - 12).☆12Updated 8 years ago
- An experiment in functional interface design☆23Updated 8 years ago
- ☆11Updated 4 years ago
- ☆21Updated last year
- the EitherT monad transformer☆55Updated 9 months ago
- An implementation of "Freer Monads, More Extensible Effects".☆20Updated 6 years ago
- Dual Traversable☆42Updated last year