Homepage
Open in app
Sign in
Get started
General
Formal Methods
OCaml
Releases
About
Website
Tagged in
Solidity
OCamlPro
We prototype and develop software solutions in cutting-edge technologies: OCaml, Rust & formal methods.
More information
Followers
25
Elsewhere
More, on Medium
Solidity
OCamlPro
in
OCamlPro
May 19, 2020
A Solidity parser in OCaml with Menhir
We are happy to announce the first release of
our Solidity parser, written in OCaml using…
Read more…