johnchandlerburnham

hpfp

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

omega-calculus

agathic.com

dotfiles

NixOS, XMonad, termite, zsh, neovim, taffybar

johnchandlerburnham.github.io

My personal website

syllabytes

A Syllabic Byte Representation based on Hiragana

tlph

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

AdventOfCode2019.fm

Advent of Code 2019 written in the Formality language https://github.com/moonad/formality

bishop

A content-addressed optimal λ-calculus.

cinder

Common Interaction Net Delightfully Extensible Representation

diagrams-graphviz

Graph layout and drawing with GraphViz and diagrams

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

Formality

An efficient proof language

Formality-C

An implementation of the Formality language in C

formality-experiments

Experiments related to the Formality language.

Formality-Net

graph-rewriting-lambdascope

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

Initium

A Formality library

Ipld

lamadh

A simple Rust untyped lambda calculus

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

multibase

Self identifying base encodings

openzeppelin-contracts

OpenZeppelin Contracts is a library for secure smart contract development.

plfa.github.io

Introduction to programming language theory in Agda

rust-ipfs

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

tpil4

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

trpl

Note on The Rust Programming Language book

Whitepaper

zexpr