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/xxi-century-typed
Support code for talk 'XXIst century shall be typed or not be'
abailly/dojo-nantes
Dojo de nantes
abailly/hsgames
A client-server Haskell implementation of an old boardgame
abailly/sensei
A sensei for improving one's development process
abailly/auth-server
A haskell-based authentication server
abailly/abailly.github.io
Own web site
abailly/aoc2022
abailly/get-started-in-rust
abailly/hstore
A simple event store in Haskell
abailly/hydra-sim
abailly/propellor
Cardano & Hydra related hosts configuration
abailly/adventofcode-2021
Advent of Code 2021 - Spoiler alert
abailly/aoc2017
abailly/black-jack
An experimental Black Jack game on Hydra
abailly/cf-gsoc-ideas-page-2025
Our project ideas page for the GSoC'25
abailly/domain-modeling-made-functional
abailly/dotfiles
abailly/grace
A ready-to-fork interpreted functional language with type inference
abailly/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
abailly/hdo
A Digital Ocean client in Haskell
abailly/homebrew-cardano
Homebrew formulas for various Cardano tools
abailly/hoogle
Haskell API search engine
abailly/Idris2-SH
Idris2s all the way down
abailly/melpa
Recipes and build machinery for the biggest Emacs package repo
abailly/mmt
Experiments around Modern Monetary Theory
abailly/nix-haskell-dev-vm
Terraform-based VM configuration to hack haskell with nix
abailly/ouroboros
Blockchain-agnostic implementations of the Ouroboros consensus families.
abailly/ouroboros-consensus
Implementation of a Consensus Layer for the Ouroboros family of protocols
abailly/trs
A very old experiment on implementing a Term Rewriting System
abailly/yaci-devkit
A set of development tools for building on Cardano by creating a local devnet.