Carter Tazio Schonwald

numbers. Haskell

monad-ste. ST with efficient exceptions

language-c. git mirror of language-c darcs repo at http://code.haskell.org/language-c

resin. Resin: high performance variable binder and ast manipulation lib

strict-identity. strict identity monad, handy for writing high performance strict code sanely

system-lf. linear logic and system f have a baby

Vowpal-Utils. Utilities for interpreting models produced by Vowpal Wabbit

sollya. C

safeword. finite sized word and int types with clear semantics

tlaps. mirror of tlaps

HetList. HetList experimentation for the future of Overloaded List syntax

hs-cblas. Haskell BLAS bindings

unboxed. some toys and tools for writing/using interesting unboxed sum types

omega. Automatically exported from code.google.com/p/omega

HaNS. HaNS, a haskell network stack (currently an archeology project, but maybe can be revived)

agreement. agreement and other sorts of coordination algorithms

permutations-perrry. git import of patrick perry permutations lib from darcs

scoutess. git mirror of the scoutess project

blosc-hs. haskell bindings to the blosc compression library

old-random. Random number library

ralist. a fixed up copy of the Ralist package from hackage

mech. a generalized state machine composition toolkit for building large systems

orange. the colorful place for the best RNGs, goodness first

haver-raft. a port of a provably correct Raft algorithm

streaming-machine-json. move along, nothing interesting here just some ancient history

machines-measured-stack. augmented stack with monoidal measures on the stack of streams

rclone. "rsync for cloud storage" - Google Drive, Amazon Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Cloudfiles, Google Cloud Storage, Yandex Files

exp-fam. playing with some ideas i borrowed from a friend, exponential families are cool!

spin-model-checker. mirror of spin model checker

symmetric-monoidal. symmetric monoidal categories

hmap. heterogenous type level sorted Symbol to k maps

choices. haskell flavored linear logical inspired choice/join/selection made fancy

clocks. all sorts of distributed systems clocks!

humane-parsers-hs. really nice parser combinators done nice

coq-hetmet. Coq

my-webpage. Haskell

ltt. a linear type theory

PerVect. Efficient Persistent Ephemeral Vectors

hopenRTB. haskell openrtb server, meant for building a bidder / exchange

metalibm-lugdunum. http://www.metalibm.org and friends, lugdunum repo

octls. a byte of modern TLS

switchboard. network connection state management library/toolkit

hs-ieee754. Approximate comparisons for IEEE floating point numbers in Haskell