OCamlPro/ocaml-solidity

Ocaml-solidity provides a Solidity parser and typechecker

stars

commits

OCaml

primary language

Sep 12, 2023

updated

ocamlpro.github.io/ocaml-solidity

README

ocaml-solidity

Ocaml-solidity provides a Solidity parser and typechecker

Website: https://github.com/OcamlPro/ocaml-solidity
General Documentation: https://OCamlPro.github.io/ocaml-solidity/sphinx
API Documentation: https://OCamlPro.github.io/ocaml-solidity/doc
Sources: https://github.com/OcamlPro/ocaml-solidity

Contributors

27 commits

15 commits

15 commits

12 commits

Similar repos

JoranHonig/tree-sitter-solidity

Solidity grammar for tree sitter

186

ocaml-wasm/wasm_of_ocaml

279

argotorg/solidity

Solidity, the Smart Contract Programming Language

25,736

ethereum/solidity

Solidity, the Smart Contract Programming Language

25,736

tree-sitter/tree-sitter-ocaml

OCaml grammar for tree-sitter

103

formal-land/rocq-of-ocaml

Formal verification for OCaml, with Rocq

274

ott-lang/ott

The Ott tool for writing definitions of programming languages and calculi

420

clarus/coq-of-ocaml

Formal verification for OCaml, with Rocq

274

Languages

OCaml

88.2%

Solidity

9.8%

Python

1.4%