This repository contains a Zed language extension for STLC++ (called stlcpp in this repo).
- STLC++ implementation (parser + semantics): https://github.com/aalto-opencs/stlcpp
- STLC++ tree-sitter grammar: https://github.com/aalto-opencs/tree-sitter-stlcpp
This project's software and technical documentation are MIT licensed. Separately licensed third-party material and dependencies retain their existing licenses and notices. The software license does not license separately supplied course content, assignments, solutions, or student submissions.
All contributors, including maintainers and direct committers, must follow CONTRIBUTING.md and have the rights to submit their original contributions under MIT.
Thanks to the people who have contributed to this project. This static snapshot preserves commit authors and human coauthors from the default-branch history through b6f255b, reviewed on 22 October 2026. Aliases have been consolidated; unmerged branch contributions are not included.
These credits are not a statement of copyright ownership or a license grant. Keep them when moving repositories or replacing history; add future contributors without removing the historical credits.