GitHub repository: petamoriken/fleur
Description: A fully-typed, type inference and testing friendly Flux Framework