There are no reviews yet. Be the first to send feedback to the community and the maintainers!
numbers
monad-ste
ST with efficient exceptionsresin
Resin: high performance variable binder and ast manipulation libstrict-identity
strict identity monad, handy for writing high performance strict code sanelysystem-lf
linear logic and system f have a babysafeword
finite sized word and int types with clear semanticsHetList
HetList experimentation for the future of Overloaded List syntaxtlaps
mirror of tlapsunboxed
some toys and tools for writing/using interesting unboxed sum typesomega
Automatically exported from code.google.com/p/omegaHaNS
HaNS, a haskell network stack (currently an archeology project, but maybe can be revived)agreement
agreement and other sorts of coordination algorithmsblosc-hs
haskell bindings to the blosc compression libraryscoutess
git mirror of the scoutess projectold-random
Random number librarymy-webpage
humane-parsers-hs
really nice parser combinators done nicemachines-measured-stack
augmented stack with monoidal measures on the stack of streamssymmetric-monoidal
symmetric monoidal categoriesstorable-complex
This is the maintenance repo for storable complexchoices
haskell flavored linear logical inspired choice/join/selection made fancymech
a generalized state machine composition toolkit for building large systemspermutations-perrry
git import of patrick perry permutations lib from darcscoq-hetmet
haver-raft
a port of a provably correct Raft algorithmexp-fam
playing with some ideas i borrowed from a friend, exponential families are cool!ralist
a fixed up copy of the Ralist package from hackageorange
the colorful place for the best RNGs, goodness firstdoctemplates
my latex templates etcspin-model-checker
mirror of spin model checkerclocks
all sorts of distributed systems clocks!hmap
heterogenous type level sorted Symbol to k mapsstreaming-machine-json
move along, nothing interesting here just some ancient historysublime-text-2-packages-pile
all the config stuff of subl text 2for-latex-atom-theme
The ForLatex highlighting theme updated for Atompart-time
partial ordery times!haskalgebra
experiments in CAS and other mathematical functionality for haskellcustodian
geniplate
git mirror of geniplate sourcesollya
metalibm-lugdunum
http://www.metalibm.org and friends, lugdunum repolibressl-hs
PerVect
Efficient Persistent Ephemeral VectorshopenRTB
haskell openrtb server, meant for building a bidder / exchangeltt
a linear type theorydataenc
I am not the maintainer of dataenc, i'm just giving it some breath of lifeswitchboard
network connection state management library/toolkithaskabelle
github mirror of haskabelle (haskell to isabelle theoremprover tool)formal-series
some explorations of formal series representations and algorithmsoctls
a byte of modern TLSLove Open Source and this site? Check out how you can help us