etiamz

etiamz

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
173 Stars
2 Forks
173 Watchers

Repositories (2)

supercompilation-resources etiamz/supercompilation-resources

📚 A collection of resources about supercompilation

129
optiscope etiamz/optiscope C

A Lévy-optimal lambda calculus reducer with a backdoor to C

44