Discover @mbrcknl Open Source projects

Matthew Brecknell (@mbrcknl)

mbrcknl

Stars
30
Global Rank 491,990 (Top 17 %)
Followers 47
Registered over 12 years ago
Most used languages

Coq 28.6 %

Haskell
14.3 %

Nix
14.3 %

JavaScript
14.3 %

Isabelle 14.3 %

Emacs Lisp
14.3 %
Location 🇦🇺 Australia
Country Total Rank 6,980
Country Ranking

Coq 4

Isabelle 4

Emacs Lisp
61

Nix
82

Haskell
91

JavaScript
7,251

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

ylj15-coq-pattern-match

Code from a talk given at YOW! Lambda Jam 2015

coq-fight-2017

Lemmas contributed to the 2017 FP-Syd Coq Fight

puzzle-parity-permutations

Schrödinger's hats: a puzzle about parities and permutations

seL4-nix

await-remote-artifacts

GitHub action to wait for named artifacts to become available in another workflow, and to optionally download them.