dimitri/bound-variable
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
My solutions to the 2006 ICFP Programming Contest (The Cult of the Bound Variable)
2 commits 1 branch 0 tags 6 MiB
Find a file
Dimitri Lozeve 871e99e8e5 Add a readme
2021-01-11 21:43:24 +01:00
.gitignore Initial commit: implementation of the Universal Machine 2021-01-11 21:15:22 +01:00
codex.umz Initial commit: implementation of the Universal Machine 2021-01-11 21:15:22 +01:00
Makefile Initial commit: implementation of the Universal Machine 2021-01-11 21:15:22 +01:00
README.org Add a readme 2021-01-11 21:43:24 +01:00
sandmark.umz Initial commit: implementation of the Universal Machine 2021-01-11 21:15:22 +01:00
um-spec.txt Initial commit: implementation of the Universal Machine 2021-01-11 21:15:22 +01:00
um.c Initial commit: implementation of the Universal Machine 2021-01-11 21:15:22 +01:00
um.um Initial commit: implementation of the Universal Machine 2021-01-11 21:15:22 +01:00
uthash.h Initial commit: implementation of the Universal Machine 2021-01-11 21:15:22 +01:00

README.org

The Cult of the Bound Variables

Solutions to the 2006 ICFP Programming Contest.

Universal Machine

The Universal Machine is implemented in /dimitri/bound-variable/src/commit/871e99e8e5a6db8f83ae1a90078990ffbfa7ad3a/um.c. Compile it with make and run it on a UM program:

  ./um sandmark.umz # benchmark
  ./um codex.umz