Scott-Guest

Compiler Engineer @runtimeverification

Pinned Repositories

hazelnut-dynamics-agda
mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
Language:Agda20 7 553
patterns-agda
A mechanization of "Pattern Matching with Typed Holes"
Language:Agda0 10 00
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
Language:Python505 56 346138
haskell-backend
The symbolic execution engine powering the K Framework
Language:Haskell206 39 1.3k40
k
K Framework Tools 7.0
Language:Java430 38 1.2k143
wasm-semantics
A Prototype Formal Semantics of WebAssembly in K
Language:WebAssembly76 25 6318
Church-Numerals
An implementation of Church Numerals in Haskell
Language:Haskell00
Honors-Thesis
A thesis submitted in fulfillment of a B.S. in Honors Computer Science
Language:TeX00
On-the-Origin-of-Pixels
An evolution simulator inspired by Conway's Game of Life
Language:C++00
PolySurfaces
A simple script to classify all homeomorphism classes of identification polygons with a given number of edges.
Language:Python00

Scott-Guest/Church-Numerals
An implementation of Church Numerals in Haskell
Language:Haskell00
Scott-Guest/Honors-Thesis
A thesis submitted in fulfillment of a B.S. in Honors Computer Science
Language:TeX00
Scott-Guest/On-the-Origin-of-Pixels
An evolution simulator inspired by Conway's Game of Life
Language:C++00
Scott-Guest/PolySurfaces
A simple script to classify all homeomorphism classes of identification polygons with a given number of edges.
Language:Python00