Pinned Repositories
alexanderlhicks.github.io
arbitrum-cli-tools
awesome-zkvm
A curated list of zkVM, zero-knowledge virtual machine
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
formalverification.xyz
A website listing all the best FV companies in the Crypto space.
mathlib4
The math library of Lean 4
PET-Exercises
Exercises in Privacy Enhancing Technologies (UCL Information Security MSc; Course COMPGA17)
VAMS
LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
alexanderlhicks's Repositories
alexanderlhicks/alexanderlhicks.github.io
alexanderlhicks/arbitrum-cli-tools
alexanderlhicks/awesome-zkvm
A curated list of zkVM, zero-knowledge virtual machine
alexanderlhicks/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
alexanderlhicks/formalverification.xyz
A website listing all the best FV companies in the Crypto space.
alexanderlhicks/mathlib4
The math library of Lean 4
alexanderlhicks/PET-Exercises
Exercises in Privacy Enhancing Technologies (UCL Information Security MSc; Course COMPGA17)
alexanderlhicks/VAMS