wu-s-john
Github is my favorite social media app! Love Programming Languages and Blockchains!
Los Angeles
Pinned Repositories
ARena
An engaging interactive gameplay experience for both active players and spectators!
full-stack-web-3-sample-code
full-stack-web-3-sample-code
ghostpad-contract
Smart contract for Ghostpad
haskell-compiler
A Cool Compiler using Haskell. Based on the programming language, cool, http://web.stanford.edu/class/cs143/
Intermediate-Representation-Code-Optimizations-in-OCaml
John Wu wrote some code optimizations for Bril, a toy programming language to build intermediate code optimization. To see the algorithms that John Wu built, take a look at the `bril-ocaml/` folder.
nemesis
Non-interactive Encrypted Methodology for Efficient Secure Information Sharing (Nemesis) - A Library of Zero Knowledge Proof Solutions
ronkathon
Cryptography Educational Foundations
spicely-hackathon-version
torch-mlir
The Torch-MLIR project aims to provide first class support from the PyTorch ecosystem to the MLIR ecosystem.
Type-Safe-Persistent-Merkle-Trees
Highly Leveraging OCaml's GADTs to Implement a Type Safe Persistent Merkle Tree
wu-s-john's Repositories
wu-s-john/Type-Safe-Persistent-Merkle-Trees
Highly Leveraging OCaml's GADTs to Implement a Type Safe Persistent Merkle Tree
wu-s-john/haskell-compiler
A Cool Compiler using Haskell. Based on the programming language, cool, http://web.stanford.edu/class/cs143/
wu-s-john/ARena
An engaging interactive gameplay experience for both active players and spectators!
wu-s-john/full-stack-web-3-sample-code
full-stack-web-3-sample-code
wu-s-john/ghostpad-contract
Smart contract for Ghostpad
wu-s-john/nemesis
Non-interactive Encrypted Methodology for Efficient Secure Information Sharing (Nemesis) - A Library of Zero Knowledge Proof Solutions
wu-s-john/ronkathon
Cryptography Educational Foundations
wu-s-john/spicely-hackathon-version
wu-s-john/zkpoker
A Decentralized Poker app Powered by Zero Knowledge Proofs
wu-s-john/Intermediate-Representation-Code-Optimizations-in-OCaml
John Wu wrote some code optimizations for Bril, a toy programming language to build intermediate code optimization. To see the algorithms that John Wu built, take a look at the `bril-ocaml/` folder.
wu-s-john/torch-mlir
The Torch-MLIR project aims to provide first class support from the PyTorch ecosystem to the MLIR ecosystem.
wu-s-john/bread-and-butter
Meeting people is easy as ordering Chicken Nuggets from your local Wendy's.
wu-s-john/CIS194HaskellExercises
wu-s-john/coda
Coda is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
wu-s-john/create-a-tableau-story
wu-s-john/edgar-analytics
wu-s-john/eslint-plugin-unicorn
Various awesome ESLint rules
wu-s-john/f18-assignments
wu-s-john/f19-assignments
wu-s-john/feedreader-test
wu-s-john/fp-course
Functional Programming Course
wu-s-john/neighborhood-project
wu-s-john/pfff
pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code.
wu-s-john/PLONK
Compiling the Lambda Calculus to a PLONK Circuti
wu-s-john/rpc_parallel
Type-safe library for building parallel applications, built on top of Async's Rpc module.
wu-s-john/semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
wu-s-john/snark-challenge-prover-reference
Snarking the snarks
wu-s-john/spicely
Sugar, spice and everything nice!
wu-s-john/thousand-words
Bring your past experiences to life
wu-s-john/udacity-starter-code