Julian Fell

Brisbane // Meanjin
The ABC
Blog

Opinions mostly boring and entirely my own

ABC Emergency

Aggregating emergency alerts from across Australia

Honours Thesis

Rely/Guarantee Algebra: Model Verification

Archive of Formal Proofs

Published Isabelle/HOL theory document on Concurrent Refinement Algebra and Rely Quotients

KNOTTED.LIVE

Experimental live-looper web app built with React, Redux and the WebAudio API (Chrome only)

PDAL Julia

Embedded Julia filters in PDAL pipelines

ABC Developer Blog

Contributions to ABC blog

GitHub LinkedIn