A textbook on informal homotopy type theory

A version of the 1997 SML definition with corrections and some proposed Successor ML features added.

Proposals for the Fortran Standard Committee

The Mythryl programming language

🧊 An indexed construction of semi-simplicial and semi-cubical sets

Distributed Resource Access Control List protocol

Template, results and notes for Open Source Security Software hackathon