etiamz

etiamz

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
174 Stars
3 Forks
4 Watchers

Repositories (2)

supercompilation-resources etiamz/supercompilation-resources

📚 A collection of resources about supercompilation

130
optiscope etiamz/optiscope C

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

44