https://github.com/joelburget/lvca
language verification, construction, and analysis
https://github.com/joelburget/lvca
denotational-semantics language language-workbench parsing pretty-printing programming-language typechecking
Last synced: 7 months ago
JSON representation
language verification, construction, and analysis
- Host: GitHub
- URL: https://github.com/joelburget/lvca
- Owner: joelburget
- License: mit
- Created: 2019-05-23T00:56:10.000Z (about 6 years ago)
- Default Branch: main
- Last Pushed: 2022-04-02T17:21:29.000Z (about 3 years ago)
- Last Synced: 2024-11-29T21:44:52.505Z (7 months ago)
- Topics: denotational-semantics, language, language-workbench, parsing, pretty-printing, programming-language, typechecking
- Language: OCaml
- Homepage: https://lvca.dev
- Size: 9.41 MB
- Stars: 20
- Watchers: 2
- Forks: 0
- Open Issues: 8