Arnaud Bailly

aws-lambda-haskell. Running Haskell code on AWS Lambda

hevents. Event Sourcing library in Haskell

hs-word2vec. A port of Google's word2vec to Haskell

haskell-synthesizer. a toy synthesizer to explore haskell concepts

xxi-century-typed. Support code for talk 'XXIst century shall be typed or not be'

lein-maven-plugin. A simple maven wrapper over leiningen 2.X

jepsen-vagrant. Vagrant box for running jepsen tests

jaskell. a Haskell clone for the JVM

dojo-nantes. Dojo de nantes

hsgames. A client-server Haskell implementation of an old boardgame

multi-host-docker. Code for setting up multi-host docker with private networking

functional-design-patterns. An exploration of functional programming concepts in non-functional languages

raptr. Raft distributed consensus over HTTP

jautomata. Java library for manipulating various kind of automata

openjgraph. A library for graphs and graphs layout in java

xforth. A forth implementation on the JVM

sensei. A sensei for improving one's development process

idris-http. An HTTP server in Idris2

maven-scala-plugin. The maven-scala-plugin is used for compiling/testing/running/documenting scala code in maven.

raft-for-dummies. reveal.js slideshow on Raft Consensus protocol

ioautomata. Working with I/O Automata

one-log. Repository for "One log" talk

iut-prog-dist. Cours de Programmation Répartie - IUT Nantes

csl. Contract Specification Language

homero2019. Tweet generator for the #Homero2019 project

system-extra. Mixed system-level utilities in Haskell

auth-server. A haskell-based authentication server

poker-epitech. Main de poker en haskell

FluentLenium. FluentLenium makes the writing of acceptance testing more easy and in a fluent way using the power of css selectors. Build upon Selenium WebDriver. goTo("http://mywebpage/"); fill("#firstName").with("toto"); click("#create-button"); If you prefer you can also use jquery like syntax $("#firstName").text("toto") or $("#create-button).click or

ddd-event-sourcing. Sample code for DDD/Event sourcing experimenting

ci-vagrant. Vagrantfile to create a complete CI and Dev machine for Java

patchwork. Library for manipulating bytecode and extracting coverage information

psug-dojo. PSUG Dojo

babel-tower-meets-jvm.

parsing. Various utilities

foobarqix. Haskell

jacobs-ladder. Java

functional-testing-reboot. Materials for Agile Tour 2011 session on Specification by Example and Acceptance Test-Driven Development

extreme_startup. JavaScript

crete1941. Experimental wargame in Haskell

get-started-in-rust. Dockerfile

propellor. Cardano & Hydra related hosts configuration