John Chandler Burnham

My personal website

Notes and exercises for Tutorial Introduction to Lambda Calculus by Raul Rojas

Exercises and notes on The Elements of Computing Systems by Noam Nisan and Shimon Schocken

Notes and exercises for Introduction to Lambda Calculus by Barendregt and Barensen

Exercises and Projects for Haskell Programming from First Principles by Allen & Moronuki

a zero-knowledge proof-carrying code platform for Lean 4

Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

Main repository for the Linera protocol

No description provided.

experimental fork of https://hackage.haskell.org/package/graph-rewriting-lambdascope

Haskell Programming From First Principles - Follow-up Resources

Append-only collections for Rust where borrows to entries can outlive insertions

Exercises for Category Theory for Programmers by Bartosz Milewski

A content-addressed optimal λ-calculus.

A call to end Apache® Software Foundation's appropriation of Apache culture

ecce agnus da

No description provided.

Notes for Theorem Proving in Lean4 (https://leanprover.github.io/theorem_proving_in_lean4/title_page.html)

No description provided.

A simple Rust untyped lambda calculus

An efficient proof language

Self identifying base encodings

A Syllabic Byte Representation based on Hiragana

The InterPlanetary File System (IPFS), implemented in Rust.

Notes and Exercises for Thinking with Types, Type-Level Programming in Haskell by Sandy Maguire

Note on The Rust Programming Language book

No description provided.

NixOS, XMonad, termite, zsh, neovim, taffybar

OpenZeppelin Contracts is a library for secure smart contract development.

Common Interaction Net Delightfully Extensible Representation