Matthew Brecknell's repositories
btree-gadt
Code from a talk given at YOW! Lambda Jam 2013
spacemacs-coq
A simple spacemacs layer for Coq including Company-Coq and Proof General
coq-fight-2017
Lemmas contributed to the 2017 FP-Syd Coq Fight
ylj15-coq-pattern-match
Code from a talk given at YOW! Lambda Jam 2015
puzzle-parity-permutations
Schrödinger's hats: a puzzle about parities and permutations
await-remote-artifacts
GitHub action to wait for named artifacts to become available in another workflow, and to optionally download them.
autocorres-examples
Example proofs about C programs using AutoCorres
caddy_dns_cloudflare
Caddy module: dns.providers.cloudflare
caddy_yaml_adapter
A config adapter which can read YAML for Caddy 2
ci-actions
CI GitHub actions for the seL4 repositories
coq-fight-2016
Lemmas for the 2016 FP-Syd Coq Fight
functional.cc
Unfinished experiments in simulating algebraic datatypes with pattern-matching in C++
HOL
Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.
jekyll-sitemap
Jekyll plugin to silently generate a sitemaps.org compliant sitemap for your Jekyll site
l4v
seL4 specification and proofs
linode_api4-python
Official Python bindings for the Linode API
mobile-ios
COVIDSafe IOS app
seL4_tools
Basic tools for building seL4 projects
xcaddy
Build Caddy with plugins