danielwaterworth/bread
Playground for QBF solving.
Developer Profile
danielwaterworth
Discovered public repositories for danielwaterworth in the GitHub catalog.
danielwaterworth/ll-picosat
Dirt simple haskell picosat bindings
danielwaterworth/ersatz
A monad for interfacing with external SAT solvers
danielwaterworth/rust-datastructures
Public repository.
danielwaterworth/em-jack
An Evented Beanstalk Client
danielwaterworth/juggler
Juggling background jobs with EventMachine and Beanstalkd
danielwaterworth/Idris-dev
A Dependently Typed Functional Programming Language
danielwaterworth/em-hiredis
Eventmachine redis client
danielwaterworth/siege
[DEPRECATED] A DBMS written in Haskell
danielwaterworth/em-websocket
EventMachine based WebSocket server
danielwaterworth/Raphters
[DEPRECATED] A web framework for C.
danielwaterworth/Butterfly
[DEPRECATED] Butterfly is a C library that implements a very simple 'dynamic' data-type. It could be used, for example, to manipulate JSON data from C. It is distributed under LGPL.
danielwaterworth/AODBM
[DEPRECATED] An ACID compliant key-value storage library in the style of dbm. It utilizes immutable B+Trees in an append-only design and is distributed under LGPL.