johnchandlerburnham Goto Github PK

adventofcode2017

adventofcode2018

adventofcode2019.fm

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

agathic.com

agnus

ecce agnus da

argumatronic

my Hakyll blog

bishop

A content-addressed optimal λ-calculus.

cinder

Common Interaction Net Delightfully Extensible Representation

ctfp

Exercises for Category Theory for Programmers by Bartosz Milewski

diagrammata

Things which are marked down with lines

diagrams-graphviz

Graph layout and drawing with GraphViz and diagrams

dotfiles

NixOS, XMonad, termite, zsh, neovim, taffybar

dsfs-book

notes and exercises for Data Science from Scratch by Joel Grus

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

exercism

Programming exercises for exercism.io

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

haskell-hedgehog

Hedgehog will eat all your bugs.

hpffp-resources

Haskell Programming From First Principles - Follow-up Resources

hpfp

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

initium

A Formality library

ipld

johnchandlerburnham.github.io

My personal website

lamadh

A simple Rust untyped lambda calculus

lcbb

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

milewski-ctfp-pdf

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