David Pearce
Author of the Whiley programming language. Researcher in Smart Contracts @ ConsenSys. Interests include formal verification, compilers, and static analysis.
Pull Requests
767
Code Reviews
226
Top Repositories
# | Repository | Stars | Forks | Issues | Contributors |
---|---|---|---|---|---|
1 | DavePearce/DynamicTopologicalSort | 17 | 4 | 0 | -1 |
2 | DavePearce/FeatherweightRust | 14 | 3 | 1 | -1 |
3 | DavePearce/JavaAVR | 9 | 2 | 11 | -1 |
4 | DavePearce/EvmTools | 2 | 0 | 8 | -1 |
5 | DavePearce/JBuildGraph | 1 | 0 | 3 | -1 |
6 | DavePearce/Homepage | 1 | 1 | 10 | -1 |
7 | DavePearce/DevmProofGen | 1 | 2 | 22 | -1 |
8 | DavePearce/Conway.wy | 1 | 2 | 2 | -1 |
9 | DavePearce/BettingContract | 1 | 0 | 0 | -1 |
10 | DavePearce/JBlob | 0 | 0 | 0 | -1 |
Activity Feed (Latest 20)
created a branch 1061-fix-issue-with-assignment-resolution in Consensys/go-corset
opened an issue in Consensys/go-corset
pushed to main in Consensys/go-corset
deleted branch 1058-fix-missing-range-constraints-in-asm at Consensys/go-corset
closed an issue in Consensys/go-corset
merged a pull request in Consensys/go-corset
pushed to 1060-feat-improve-formatted-lisp-output in Consensys/go-corset
pushed to 1060-feat-improve-formatted-lisp-output in Consensys/go-corset
created a branch 1060-feat-improve-formatted-lisp-output in Consensys/go-corset
opened an issue in Consensys/go-corset
opened a pull request in Consensys/go-corset
pushed to 1058-fix-missing-range-constraints-in-asm in Consensys/go-corset
created a branch 1058-fix-missing-range-constraints-in-asm in Consensys/go-corset
opened an issue in Consensys/go-corset
pushed to 2156-feat-support-assembly-implementation-of-add-module in Consensys/linea-tracer
pushed to 2156-feat-support-assembly-implementation-of-add-module in Consensys/linea-tracer
deleted branch 1055-feat-test-smaller-ci-runners at Consensys/go-corset
pushed to main in Consensys/go-corset
closed an issue in Consensys/go-corset
merged a pull request in Consensys/go-corset