https://github.com/ashton314/christmas-compiler

An experimental lambda calculus compiling to the LLVM
https://github.com/ashton314/christmas-compiler

compiler lambda-calculus linear-types lisp llvm racket type-checking type-inference

Last synced: 6 days ago
JSON representation

An experimental lambda calculus compiling to the LLVM

• Host: GitHub
• URL: https://github.com/ashton314/christmas-compiler
• Owner: ashton314
• Created: 2020-10-17T07:00:03.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2021-01-07T01:33:52.000Z (about 4 years ago)
• Last Synced: 2025-01-29T02:57:18.389Z (6 days ago)
• Topics: compiler, lambda-calculus, linear-types, lisp, llvm, racket, type-checking, type-inference
• Language: Racket
• Homepage:
• Size: 26.4 KB
• Stars: 2
• Watchers: 3
• Forks: 1
• Open Issues: 3

Awesome Lists containing this project