Michael Schröder

ctrie. Non-blocking concurrent hashmap for Haskell

ttrie. A contention-free STM hash map for Haskell

lua-5.2.0-special. Lua 5.2 with run-time type specialization.

todo-example. Showcase of a lightweight web app written in Haskell

thesis. Durability and Contention in Software Transactional Memory

welshy. Because Scotty had trouble yodeling

yelp. Haskell bindings for the Yelp API

panini. Static Grammar Inference for Ad Hoc Parsers

smc. Interpolation-based sequential model checker for AIGER models

tx. Persistent transactions on top of STM.

regex-algebra. Haskell