HerrmannM

icon indicating a website link https://www.linkedin.com/in/matthieu-herrmann/?locale=en_US

icon location Melbourne, Australia

Results 1 repositories owned by HerrmannM

eole

113
Stars
4
Forks
Watchers

Éole, a Lévy-optimal lambda calculus evaluator without oracle

verified publisher icon HerrmannM