John Chandler Burnham's repositories
graph-rewriting-lambdascope
experimental fork of https://hackage.haskell.org/package/graph-rewriting-lambdascope
elsa
Append-only collections for Rust where borrows to entries can outlive insertions
endasfmascotry
A call to end ApacheĀ® Software Foundation's appropriation of Apache culture
tpil4
Notes for Theorem Proving in Lean4 (https://leanprover.github.io/theorem_proving_in_lean4/title_page.html)
lamadh
A simple Rust untyped lambda calculus
multibase
Self identifying base encodings
rust-ipfs
The InterPlanetary File System (IPFS), implemented in Rust.
johnchandlerburnham.github.io
My personal website
trpl
Note on The Rust Programming Language book
bishop
A content-addressed optimal Ī»-calculus.
openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
Formality
An efficient proof language
AdventOfCode2019.fm
Advent of Code 2019 written in the Formality language https://github.com/moonad/formality
syllabytes
A Syllabic Byte Representation based on Hiragana
Formality-C
An implementation of the Formality language in C
Initium
A Formality library
cinder
Common Interaction Net Delightfully Extensible Representation
milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
diagrams-graphviz
Graph layout and drawing with GraphViz and diagrams
plfa.github.io
Introduction to programming language theory in Agda
formality-experiments
Experiments related to the Formality language.