https://github.com/Gradual-Typing/Grift

A compiler for the gradually typed lambda calculus
https://github.com/Gradual-Typing/Grift

compiler gradual-typing grift

Last synced: about 2 months ago
JSON representation

A compiler for the gradually typed lambda calculus

• Host: GitHub
• URL: https://github.com/Gradual-Typing/Grift
• Owner: Gradual-Typing
• License: mit
• Created: 2014-12-10T18:06:44.000Z (about 10 years ago)
• Default Branch: master
• Last Pushed: 2021-11-04T14:35:59.000Z (about 3 years ago)
• Last Synced: 2024-09-27T00:13:35.968Z (3 months ago)
• Topics: compiler, gradual-typing, grift
• Language: C
• Size: 32.8 MB
• Stars: 76
• Watchers: 5
• Forks: 11
• Open Issues: 29

Awesome Lists containing this project

• AwesomeCompiler - Grift