Projects

Ethereum-related

echidna - A fuzzer for Ethereum smart contracts, Contributed to the project for my winter 2021-2022 internship at Trail of Bits. Improved runtime by over 6x, and began to work on creating html output.

eth-forum - Written with Jerry Huang, Kyle Lui, and Justin Wang. A forum whose posts are stored on Ethereum (testnet). Added a frontend webpage as well. Will be hosted live again soon.

Games

splitspace - Written with Maxwell Hampel and Jerry Huang. An arcade-style Android game. Available for free on the Google Play Store.

zehner raus - Written with Jerry Huang. A node.js version of Elfer Raus!, a German card game by Ravensburger. Will be hosted live again soon.

goobing - A nonogram solver written in Haskell.

Assorted

utlc-compiler - A compiler for untyped lambda calculus, which outputs to Haskell or Rust (Rust output is very slow). Code is written entirely in untyped lambda calculus, with no primitive types. The IO system doesn't make use of any primitive types, either. Uses lazy evaluation. Older versions are here, here, and here.

planetary gravity simulator - Written with Brandon Hong using the Godot engine. Video demo here.

haskell-circuit - Simulate combinatorial circuits in Haskell. Based off of combinations of constant ground and NAND gates. Added variable-sized mutexes; circuit-to-truth-table conversion; and turning arbitrary [Bool] -> [Bool] functions into combinatorial circuits.

mapgen - Random map generator using 3d perlin noise. Currently hosted live here.