m0ar/safe-streaming m0ar/safe-streaming

  • Stars
    star
    47
  • Rank 587,386 (Top 12 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created almost 7 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
m0ar/safe-streaming
github

m0ar

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.

More Repositories

1

lollipop

A general purpose programming language with linear types
Haskell
40
star
2

ghc-early-annotations-plugin

GHC plugin for getting ANN pragmas earlier in the pipeline
Haskell
1
star
3

evolving-volunteers

A project where we analyse an evolutional model of a game theoretic volunteering game
Mathematica
1
star
4

nix

My Nix home manager configuration
Nix
1
star