josefs

Gradualizer

A Gradual type system for Erlang

STMonadTrans

erlang-mocking

Experiments with mocking libraries in Erlang

AbstractingDefinitionalInterpreters

A Haskell transliteration of the paper Abstracting Definitional Interpreters

change-actions

sbv

Symbolic Bit Vectors in Haskell. Express properties about bit-precise Haskell programs and automatically prove them using SMT solvers.

scheme48

A scheme implementation

bnfc

BNF Converter

Continuations

ContT

cow

My solutions to Challenge Of the Week

deepseq

Deep evaluation of data structures

duckling

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

effect-monad-trans

erlang-stream-test

evensen

feldspar-opencv

Haxl

A Haskell library that simplifies access to remote data, such as databases or web-based services.

hsthrift

The Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift project for the implementation of the underlying transport.

josefs.github.io

A webpage on github

mdl

monad-ran

Right Kan extension transformers covering the entire MTL, IO, ST s, and STM in Haskell in a generalization of continuation passing style

nontermination

pan

pmonadtrans

prometheus

The Prometheus monitoring system and time series database.

rustyorgan

splittable

timezone-olson

A pure Haskell parser and renderer for binary Olson timezone files

unordered-containers

Efficient hashing-based container types