├── .gitignore ├── .travis.yml ├── README.md ├── info.rkt ├── lambda ├── lambda.rkt └── lifted-lambda.rkt ├── mips ├── asm.rkt └── mips.rkt ├── test ├── lambda-mips.rkt ├── lambda-x64.rkt ├── mars │ ├── Mars4_5.jar │ └── mars-license.txt └── test-utils.rkt └── x64 ├── asm.rkt ├── lib ├── build.sh ├── gc │ ├── Cargo.lock │ ├── Cargo.toml │ └── src │ │ └── lib.rs └── lib.s └── x64.rkt /.gitignore: -------------------------------------------------------------------------------- 1 | compiled 2 | *~ 3 | *.o 4 | x64/lib/gc/target 5 | -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DIJamner/lambda-compiler/HEAD/.travis.yml -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DIJamner/lambda-compiler/HEAD/README.md -------------------------------------------------------------------------------- /info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DIJamner/lambda-compiler/HEAD/info.rkt -------------------------------------------------------------------------------- /lambda/lambda.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DIJamner/lambda-compiler/HEAD/lambda/lambda.rkt -------------------------------------------------------------------------------- /lambda/lifted-lambda.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DIJamner/lambda-compiler/HEAD/lambda/lifted-lambda.rkt -------------------------------------------------------------------------------- /mips/asm.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DIJamner/lambda-compiler/HEAD/mips/asm.rkt -------------------------------------------------------------------------------- /mips/mips.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DIJamner/lambda-compiler/HEAD/mips/mips.rkt -------------------------------------------------------------------------------- /test/lambda-mips.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DIJamner/lambda-compiler/HEAD/test/lambda-mips.rkt -------------------------------------------------------------------------------- /test/lambda-x64.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DIJamner/lambda-compiler/HEAD/test/lambda-x64.rkt -------------------------------------------------------------------------------- /test/mars/Mars4_5.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DIJamner/lambda-compiler/HEAD/test/mars/Mars4_5.jar -------------------------------------------------------------------------------- /test/mars/mars-license.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DIJamner/lambda-compiler/HEAD/test/mars/mars-license.txt -------------------------------------------------------------------------------- /test/test-utils.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DIJamner/lambda-compiler/HEAD/test/test-utils.rkt -------------------------------------------------------------------------------- /x64/asm.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DIJamner/lambda-compiler/HEAD/x64/asm.rkt -------------------------------------------------------------------------------- /x64/lib/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DIJamner/lambda-compiler/HEAD/x64/lib/build.sh -------------------------------------------------------------------------------- /x64/lib/gc/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DIJamner/lambda-compiler/HEAD/x64/lib/gc/Cargo.lock -------------------------------------------------------------------------------- /x64/lib/gc/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DIJamner/lambda-compiler/HEAD/x64/lib/gc/Cargo.toml -------------------------------------------------------------------------------- /x64/lib/gc/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DIJamner/lambda-compiler/HEAD/x64/lib/gc/src/lib.rs -------------------------------------------------------------------------------- /x64/lib/lib.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DIJamner/lambda-compiler/HEAD/x64/lib/lib.s -------------------------------------------------------------------------------- /x64/x64.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DIJamner/lambda-compiler/HEAD/x64/x64.rkt --------------------------------------------------------------------------------