Discover @abailly Open Source projects

Arnaud Bailly (@abailly)

abailly

Stars
428
Global Rank 66,209 (Top 3 %)
Followers 129
Following 11
Registered almost 16 years ago
Most used languages

Haskell
58.9 %

Java
19.6 %

Shell
5.4 %

JavaScript
5.4 %

Idris 3.6 %

Clojure
1.8 %

Dockerfile
1.8 %

HTML
1.8 %

Assembly
1.8 %
Location 🇫🇷 France
Country Total Rank 1,784
Country Ranking

Idris 3

Haskell
6

Assembly
101

Clojure
137

Java
523

Shell
869

Dockerfile
1,053

HTML
2,891

JavaScript
4,848

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'

jepsen-vagrant

Vagrant box for running jepsen tests

lein-maven-plugin

A simple maven wrapper over leiningen 2.X

jaskell

a Haskell clone for the JVM

dojo-nantes

multi-host-docker

Code for setting up multi-host docker with private networking

raptr

Raft distributed consensus over HTTP

functional-design-patterns

An exploration of functional programming concepts in non-functional languages

openjgraph

A library for graphs and graphs layout in java

xforth

A forth implementation on the JVM

hsgames

A client-server Haskell implementation of an old boardgame

jautomata

Java library for manipulating various kind of automata

idris-http

An HTTP server in Idris2

raft-for-dummies

reveal.js slideshow on Raft Consensus protocol

ioautomata

Working with I/O Automata

one-log

Repository for "One log" talk

propellor

A Haskell-based configuration management system

softwarewolves

foobarqix

babel-tower-meets-jvm

iut-prog-dist

Cours de Programmation Répartie - IUT Nantes

ci-vagrant

Vagrantfile to create a complete CI and Dev machine for Java

abailly.github.io

jacobs-ladder

beyond-tdd

Material for conference workshop on Property and Model based testing

functional-testing-reboot

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

auth-server

A haskell-based authentication server

ddd-event-sourcing

Sample code for DDD/Event sourcing experimenting

homero2019

Tweet generator for the #Homero2019 project

crete1941

Experimental wargame in Haskell

csl

Contract Specification Language

parsing

Various utilities

poker-epitech

Main de poker en haskell

system-extra

Mixed system-level utilities in Haskell

scala-matrix-example

An example of evolving some code to work with matrices in scala

concurrency

Implementation of various constructs from "The Art of Multiprocessor Programming"

hstore

A simple event store in Haskell

haskell-template

A template for haskell projects

muse-parser

A publication system based on muse format files.

advent-of-code-2019

Sources for https://adventofcode.com/2019

trialchain

parsec-workshop

Code for running a Parsec/JParsec workshop

yate

Yet Another Template Engine

notes

Personal repository for notes

aoc2022

infra-test

greed-tcr

Greed kata using TCR flow

capital21

Visualizing wealth data, inspired by "Le Capital au XXI° siècle" de T.Piketty

clj-xducer

A library for finite state transducers in clojure

patchwork

Library for manipulating bytecode and extracting coverage information

hslogic

A logic programming based framework to allocate resources

propellor-test2

crypto

get-started-in-rust