Pinned Repositories
introit
The Yatima Standard Library
yatima-lang-alpha
A programming language for the decentralized web
agathic.com
agnus
ecce agnus da
ctfp
Exercises for Category Theory for Programmers by Bartosz Milewski
hpfp
Exercises and Projects for Haskell Programming from First Principles by Allen & Moronuki
omega-calculus
johnchandlerburnham's Repositories
johnchandlerburnham/hpfp
Exercises and Projects for Haskell Programming from First Principles by Allen & Moronuki
johnchandlerburnham/omega-calculus
johnchandlerburnham/agathic.com
johnchandlerburnham/dotfiles
NixOS, XMonad, termite, zsh, neovim, taffybar
johnchandlerburnham/johnchandlerburnham.github.io
My personal website
johnchandlerburnham/syllabytes
A Syllabic Byte Representation based on Hiragana
johnchandlerburnham/tlph
Notes and Exercises for Thinking with Types, Type-Level Programming in Haskell by Sandy Maguire
johnchandlerburnham/AdventOfCode2019.fm
Advent of Code 2019 written in the Formality language https://github.com/moonad/formality
johnchandlerburnham/bishop
A content-addressed optimal λ-calculus.
johnchandlerburnham/cinder
Common Interaction Net Delightfully Extensible Representation
johnchandlerburnham/diagrams-graphviz
Graph layout and drawing with GraphViz and diagrams
johnchandlerburnham/elsa
Append-only collections for Rust where borrows to entries can outlive insertions
johnchandlerburnham/endasfmascotry
A call to end Apache® Software Foundation's appropriation of Apache culture
johnchandlerburnham/Formality
An efficient proof language
johnchandlerburnham/Formality-C
An implementation of the Formality language in C
johnchandlerburnham/Formality-Net
johnchandlerburnham/graph-rewriting-lambdascope
experimental fork of https://hackage.haskell.org/package/graph-rewriting-lambdascope
johnchandlerburnham/Initium
A Formality library
johnchandlerburnham/Ipld
johnchandlerburnham/lamadh
A simple Rust untyped lambda calculus
johnchandlerburnham/linera-protocol
Main repository for the Linera protocol
johnchandlerburnham/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
johnchandlerburnham/multibase
Self identifying base encodings
johnchandlerburnham/openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
johnchandlerburnham/plfa.github.io
Introduction to programming language theory in Agda
johnchandlerburnham/rust-ipfs
The InterPlanetary File System (IPFS), implemented in Rust.
johnchandlerburnham/tpil4
Notes for Theorem Proving in Lean4 (https://leanprover.github.io/theorem_proving_in_lean4/title_page.html)
johnchandlerburnham/trpl
Note on The Rust Programming Language book
johnchandlerburnham/Whitepaper
johnchandlerburnham/zexpr