lvca

joelburget

language verification, construction, and analysis

programming-language language

View on GitHub Website

19 Stars

0 Forks

19 Watchers

OCaml Language

mit License

Cost to Build

$712.0K

Market Value

$626.3K

How is this calculated?

Growth over time

8 data points · 2021-07-01 → 2022-08-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about lvca

Question copied to clipboard

What is the joelburget/lvca GitHub project? Description: "language verification, construction, and analysis". Written in OCaml. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone lvca

Clone via HTTPS

git clone https://github.com/joelburget/lvca.git

Clone via SSH

[email protected]:joelburget/lvca.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the lvca issue tracker:

Open GitHub Issues

Similar to lvca

go TypeScript ruby crystal awesome-cheatsheets Eve ChatterBot awesome-nlp solidity proposals Nim red scala-js wren lang gravity proselint corpora franc haxe enso Carp sdk nlp_tasks mimesis moonscript dmd rant coconut slugify