Pinned Repositories
AbstractingDefinitionalInterpreters
A Haskell transliteration of the paper Abstracting Definitional Interpreters
change-actions
CodeExtract
deep-shallow-paper
DSL-tutorial
erlang-mocking
Experiments with mocking libraries in Erlang
Gradualizer
A Gradual type system for Erlang
LambdaQuoter
pandoc
Universal markup converter
STMonadTrans
josefs's Repositories
josefs/Gradualizer
A Gradual type system for Erlang
josefs/STMonadTrans
josefs/erlang-mocking
Experiments with mocking libraries in Erlang
josefs/AbstractingDefinitionalInterpreters
A Haskell transliteration of the paper Abstracting Definitional Interpreters
josefs/change-actions
josefs/sbv
Symbolic Bit Vectors in Haskell. Express properties about bit-precise Haskell programs and automatically prove them using SMT solvers.
josefs/scheme48
A scheme implementation
josefs/bnfc
BNF Converter
josefs/Continuations
josefs/ContT
josefs/cow
My solutions to Challenge Of the Week
josefs/deepseq
Deep evaluation of data structures
josefs/duckling
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
josefs/effect-monad-trans
josefs/erlang-stream-test
josefs/evensen
josefs/feldspar-opencv
josefs/Haxl
A Haskell library that simplifies access to remote data, such as databases or web-based services.
josefs/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/josefs.github.io
A webpage on github
josefs/mdl
josefs/monad-ran
Right Kan extension transformers covering the entire MTL, IO, ST s, and STM in Haskell in a generalization of continuation passing style
josefs/nontermination
josefs/pan
josefs/pmonadtrans
josefs/prometheus
The Prometheus monitoring system and time series database.
josefs/rustyorgan
josefs/splittable
josefs/timezone-olson
A pure Haskell parser and renderer for binary Olson timezone files
josefs/unordered-containers
Efficient hashing-based container types