m
michaelt
36 repositories
90 followers
Repositories
Select a repository to view its commits, contributors, and more.public
martin-lof
papers of Per Martin Löf
TeX
746
64
11
Updated 2 days ago
public
streaming
An optimized general monad transformer for streaming applications, with a simple prelude of functions
Haskell
103
11
23
Updated 5 months ago
public
tagless
oleg modules
Haskell
30
4
0
Updated 5 months ago
public
streaming-bytestring
effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy
Haskell
19
5
12
Updated 2 years ago
public
lens-simple
simplified import of lens-family
Haskell
17
2
1
Updated a year ago
public
text-pipes
Text pipes
Haskell
10
13
10
Updated 4 years ago
public
structured-graphs
Code for "Functional Programming with Structured Graphs", Bruno C. d. S. Oliveira and William R. Cook
Haskell
8
0
0
Updated a year ago
public
pipes-bytestring-mmap
lazy bytestrings from `bytestring-mmap` replaced by `Producer ByteString IO ()`
Haskell
8
0
0
Updated 2 months ago
public
streaming-tutorial
preliminary draft tutorial for the streaming and streaming-bytestring libraries
Shell
5
2
1
Updated 4 years ago
public
extensible-streaming
the "alternative to monad transformers" ... as a monad transformer
Haskell
4
0
0
Updated 5 years ago
public
remorse
`Streaming/FreeT` type implemented with `type-aligned` - which, alas, fills everything with molasses
Haskell
3
0
0
Updated 5 years ago
public
streaming-attoparsec
Apply Attoparsec parsers to bytestreams.
Haskell
3
0
0
Updated 5 years ago