Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

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: 24 days 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 (over 5 years ago)
Default Branch: main
Last Pushed: 2022-04-02T17:21:29.000Z (over 2 years ago)
Last Synced: 2024-11-29T21:44:52.505Z (27 days 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