okomok / strcat
TeX files for summary of category theory
☆14Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for strcat
- Implementing Abstract Binding Trees (in Scala, ...)☆19Updated 8 years ago
- Functional experiments in Scala☆21Updated 7 years ago
- Integration between scodec and scalaz☆9Updated 5 years ago
- Seekable sources and efficient incremental sinks☆17Updated 7 years ago
- Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection☆66Updated 3 years ago
- Bow before the ultimate generality of the Royal Monad!☆10Updated 9 years ago
- Yet another concurrent playground☆32Updated 8 years ago
- Succinct vectors☆20Updated 5 years ago
- A http client for Idris based on libcurl☆10Updated 8 years ago
- Exploration of the Free monad without point☆11Updated 8 years ago
- Backports of GHC deriving extensions☆14Updated 7 months ago
- Operational monad library☆30Updated 2 years ago
- Streaming data library built around first-class stream fusion for high efficiency☆11Updated 8 years ago
- A Haskell library to mock the current time. ⏰☆18Updated 6 years ago
- Parse and pretty-print Bash shell scripts☆35Updated 3 months ago
- Lens powered regular expression☆17Updated 3 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Updated 6 years ago
- Curses bindings package for Idris☆13Updated 5 years ago
- Arrow based stream transducer☆20Updated 4 years ago
- Filter with effects☆71Updated 3 months ago
- A small bifunctor library for idris☆21Updated 3 years ago
- Streams for (Co)Free! — The supporting repository for a 2016 Scala By The Bay presentation☆14Updated 7 years ago
- Parsing for the pipes ecosystem☆28Updated last year
- Haskell 98 contravariant functors☆73Updated 3 weeks ago
- A plugin for GHC to support super monads.☆24Updated 6 years ago
- A Haskell program and library to derive instances for data types☆25Updated 4 years ago
- A typeclass and set of functions for working with newtypes.☆10Updated 2 years ago
- Declarative command-line option parser☆58Updated last year
- Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.☆25Updated 7 years ago