Discover @zchn Open Source projects

Kevin Z Chen (@zchn)

zchn

Stars
26
Global Rank 542,735 (Top 19 %)
Registered over 15 years ago
Most used languages

C
25.0 %

Common Lisp
25.0 %

Haskell
25.0 %

OCaml
25.0 %
Location 🇺🇸 United States
Country Total Rank 98,015
Country Ranking

Common Lisp
443

Haskell
673

OCaml
820

ethereum-analyzer

An Ethereum contract analyzer.

eth-acl2

An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.

llvm-phkit

proofweb

ProofWeb (http://proofweb.cs.ru.nl/) ported to ocamlnet 4.0.4 and made dockerable (WORK-IN-PROGRESS)