https://github.com/ashton314/lambda-x86

Lambda Calculus compiler targeting x86, written in Racket
https://github.com/ashton314/lambda-x86

bidirectional-typechecking compiler lambda-calculus racket type-checker type-inference x86

Last synced: 1 day ago
JSON representation

Lambda Calculus compiler targeting x86, written in Racket

• Host: GitHub
• URL: https://github.com/ashton314/lambda-x86
• Owner: ashton314
• Created: 2020-03-18T03:23:22.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2020-06-14T04:53:32.000Z (over 4 years ago)
• Last Synced: 2025-01-29T02:57:18.458Z (1 day ago)
• Topics: bidirectional-typechecking, compiler, lambda-calculus, racket, type-checker, type-inference, x86
• Language: Racket
• Size: 687 KB
• Stars: 10
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project