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/functional-design-patterns
An exploration of functional programming concepts in non-functional languages
abailly/hsgames
A client-server Haskell implementation of an old boardgame
abailly/sensei
A sensei for improving one's development process
abailly/abailly.github.io
Own web site
abailly/auth-server
A haskell-based authentication server
abailly/aoc2022
abailly/get-started-in-rust
abailly/hstore
A simple event store in Haskell
abailly/hydra-sim
abailly/notes
Personal repository for notes
abailly/adventofcode-2021
Advent of Code 2021 - Spoiler alert
abailly/aoc2017
abailly/black-jack
An experimental Black Jack game on Hydra
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/iut-js-client
Cours IUT Nantes Javascript côté client
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/postgresql-simple-migration
PostgreSQL Schema Migrations for Haskell
abailly/SupermarketReceipt-Refactoring-Kata
This is a refactoring kata based on the one described in http://codekata.com/kata/kata01-supermarket-pricing/
abailly/trs
A very old experiment on implementing a Term Rewriting System