https://github.com/idorobots/low-level-linear-logic-lisp-like-language
An implementation of a low-level VM that can execute linear-logic-based dialect of Lisp.
https://github.com/idorobots/low-level-linear-logic-lisp-like-language
language-design lisp ownership-types
Last synced: about 2 months ago
JSON representation
An implementation of a low-level VM that can execute linear-logic-based dialect of Lisp.
- Host: GitHub
- URL: https://github.com/idorobots/low-level-linear-logic-lisp-like-language
- Owner: Idorobots
- Created: 2017-05-05T19:43:34.000Z (about 8 years ago)
- Default Branch: master
- Last Pushed: 2017-05-31T17:27:14.000Z (about 8 years ago)
- Last Synced: 2025-02-13T06:18:13.305Z (4 months ago)
- Topics: language-design, lisp, ownership-types
- Language: Racket
- Size: 84 KB
- Stars: 0
- Watchers: 3
- Forks: 3
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# 7L
This project implements a simple VM that can execute a low-level Lisp-like language that produces no garbage during execution. It is based on [this publication](http://home.pipeline.com/~hbaker1/LinearLisp.html).