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/raptr
Raft distributed consensus over HTTP
abailly/idris-http
An HTTP server in Idris2
abailly/ioautomata
Working with I/O Automata
abailly/one-log
Repository for "One log" talk
abailly/crete1941
Experimental wargame in Haskell
abailly/homero2019
Tweet generator for the #Homero2019 project
abailly/iut-prog-dist
Cours de Programmation RĂ©partie - IUT Nantes
abailly/advent-of-code-2019
Sources for https://adventofcode.com/2019
abailly/greed-tcr
Greed kata using TCR flow
abailly/hslogic
A logic programming based framework to allocate resources
abailly/trialchain
abailly/yate
Yet Another Template Engine
abailly/budget
USAA download based interfaces for spreadsheet
abailly/diem25-nantes
Documents relatifs au group DiEM 25 de Nantes
abailly/distsys-class
Class materials for a distributed systems lecture series
abailly/effects
A brief exploration of the various approaches to modeling side effects in a purely functional programming language.
abailly/fitnesse
FitNesse -- The Acceptance Test Wiki
abailly/haskell-exercises
A little course to learn about some of the more obscure GHC extensions.
abailly/haskell-fft
Haskell implementation of 1-D Fast Fourier Transform (FFT) and Welch Power Spectral Density (PSD) estimation
abailly/hpython
Haskell language tools for Python
abailly/idris-chan
Concurrent channels implementation for Idris2
abailly/idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
abailly/Idris2
A dependently typed programming language, a successor to Idris
abailly/kontiki
An implementation of the Raft consensus protocol
abailly/Ladder
A short kata in Haskell
abailly/lightyear
Parser combinators for Idris
abailly/react-ts-import-module
Reproducting with a small example troubles importing modules with React/ts
abailly/simdev
abailly/SPLV20
SPLV20 course notes
abailly/these