Beast code in Giters

Zach Brown's repositories

Untyped lambda calculus, written in Haskell

Language:HaskellBSD-3-Clause5 10

Language:TypeScript000

Proving historical Ethereum transactions using the Plonky2 zkEVM

Language:Rust000

Learning Rust via implementing the lambda cube

Language:Rust000

Introduction to programming language theory in Agda

Language:AgdaCC-BY-4.0000

A starter project for Plutus apps

Language:NixApache-2.0000

Language:Rust010

Ethereum JSON-RPC multi-transport client. Rust implementation of web3 library. ENS address: rust-web3.eth

Language:RustMIT000

Language:Rust000

Language:TypeScript000