Discover @DavePearce Open Source projects

David Pearce (@DavePearce)

DavePearce

Stars
114
Global Rank 184,975 (Top 7 %)
Followers 142
Following 6
Registered over 13 years ago
Most used languages

Java
48.4 %

Rust
16.1 %

HTML
12.9 %

C
3.2 %

Lean 3.2 %

JavaScript
3.2 %

C++
3.2 %

Dafny 3.2 %

Whiley 3.2 %

Coq 3.2 %
Location 🇳🇿 New Zealand
Country Total Rank 685
Country Ranking

Coq 1

Dafny 1

Lean 1

Whiley 1

Java
43

Rust
84

C++
129

HTML
240

C
366

JavaScript
1,270

DynamicTopologicalSort

C++ code accompanying the paper "A Dynamic Topological Sort Algorithm for Directed Acyclic Graphs".

FeatherweightRust

Provides a reference implementation of FeatherweightRust in Java.

jx86

Java Library for Generating x86 Code

StronglyConnectedComponents

An example implementation of my algorithm for finding Strongly Connected Components.

jkit

Java Compiler Kit (JKit)

JavaAVR

Simple AVR simulator written in Java

LeanEVM

A toy implementation of the EVM in Lean4.

JModelGen

A model generator library for use with automated test generation.

JEVM

A simple Java implementation of the Ethereum Virtual Machine (EVM).

TuttePolynomial

Tutte Polynomial Computation

RustSpectrum

ZX Spectrum Emulator written in Rust

TinyBoy

A simple AVR Games Console which resembles the Arduaboy, but is designed around the ATtiny85!

SyntacticHeap.rs

A generic data structure designed for representing Abstract Syntax Trees.

Web.wy

A functional framework for creating single-page applications to execute in the browser.

SimpleVirtualMachine.wy

A demonstration of how Whiley can be used to verify compiler optimisations on a simple bytecode language.

VirtualMachineInterpreter.rs

A utility for helping in the construction of interpreters / virtual machines.

Pacman

A Multi-Player Implementation of Pacman in Java

JSMT

A bunch of utilities / algorithms for implementing SMT solvers

JWebKit

A simple web framework, currently written in Java (though will eventually be in Whiley)

Conway.wy

An HTML5 Canvas Implemetation of Conway's Game of Life written in Whiley

JSyntacticHeap

A simple Java library for reading / writing files according to the SyntacticHeap format.

WyrlVis

A Visualation Tool for the Whiley Rewrite Language. This allows automata and rewrites to be visualised, which is helpful for debugging (amongst other things).

Lil.rs

A low-level intermediate language written Rust.

Homepage

My personal homepage.

Minesweeper.wy

Implementation of Minesweeper in Whiley

JBuildGraph

A library for managing builds (e.g. within a compiler).

WebCalc.wy

A simple calculator implemented as a Single Page App in Whiley.

DevmProofGen

Dafny Evm Proof Generator (experimental)

BettingContract

A simple betting smart contract written in Solidity.

SemanticSubtyping

A proof of the semantic subtyping relation from an academic paper.

EvmTools

Various utilities for working with the Etherem Reference Tests.