Pinned Repositories
aws-lambda-haskell
Running Haskell code on AWS Lambda
dojo-nantes
Dojo de nantes
haskell-synthesizer
a toy synthesizer to explore haskell concepts
hevents
Event Sourcing library in Haskell
hs-word2vec
A port of Google's word2vec to Haskell
jaskell
a Haskell clone for the JVM
jepsen-vagrant
Vagrant box for running jepsen tests
lein-maven-plugin
A simple maven wrapper over leiningen 2.X
multi-host-docker
Code for setting up multi-host docker with private networking
xxi-century-typed
Support code for talk 'XXIst century shall be typed or not be'
abailly's Repositories
abailly/jepsen-vagrant
Vagrant box for running jepsen tests
abailly/lein-maven-plugin
A simple maven wrapper over leiningen 2.X
abailly/jaskell
a Haskell clone for the JVM
abailly/jautomata
Java library for manipulating various kind of automata
abailly/raft-for-dummies
reveal.js slideshow on Raft Consensus protocol
abailly/ci-vagrant
Vagrantfile to create a complete CI and Dev machine for Java
abailly/clj-xducer
A library for finite state transducers in clojure
abailly/haskell-template
A template for haskell projects
abailly/infra-test
abailly/parsec-workshop
Code for running a Parsec/JParsec workshop
abailly/propellor-test2
abailly/barge
A JVM Implementation of the Raft Consensus Protocol
abailly/cinder
Markup (HTML and SVG) and DOM manipulation DSL for the Fay subset of Haskell.
abailly/colonel-train
A web application scrapping http://capitainetrain.com to manage expenses
abailly/docker-hs
Haskell Wrapper for the Docker Remote API
abailly/Haxl
A Haskell library for efficient, concurrent, concise data access.
abailly/hell
Haskell shell
abailly/infra
Basic infrastructure-as-code repository
abailly/knossos
Verifies the linearizability of experimentally accessible histories.
abailly/marquise
Client side library for Vaultaire
abailly/RaftMonitor
A project to test Raft protocol implementations.
abailly/restx
RESTX, the lightweight Java REST framework
abailly/scotty
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp
abailly/subhask
Type safe interface for working in subcategories of Hask
abailly/tangaroa
A toy implementation of the Raft protocol in Haskell, with an experimental BFT variant.
abailly/vaultaire
Data vault for metrics
abailly/vaultaire-common
Common types for Vaultaire
abailly/wai-middleware-etag
abailly/watermill
abailly/xs-gc