https://github.com/daquirm/ore
https://github.com/daquirm/ore
Last synced: about 2 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/daquirm/ore
- Owner: DaQuirm
- Created: 2020-09-21T20:14:05.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2020-09-24T17:17:00.000Z (over 5 years ago)
- Last Synced: 2025-12-31T00:36:56.252Z (6 months ago)
- Language: WebAssembly
- Size: 12.7 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# :mountain_cableway: åre
åre is a tiny compiler from extended/sugared λ-calculus to WebAssembly.
And the [biggest ski-resort in Sweden](https://en.wikipedia.org/wiki/%C3%85re).
### Featuring: :film_projector:
* SKI-conversion via bracket abstraction (basic algorithm from *Combinatory Logic* by Curry and Feys)
* SECD-like stack machine, but simplified for SKI
### Possible Future Experiments 🧪
* Garbage collection
* Type checking and inference
* Self-hosting
* Performance analysis