Acquires and manages free SSL certificates for Azure Web App and Azure Functions applications.

The easiest way to use lets encrypt certificates on Azure

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

BibTeX bibliographies for proof engineering-related papers

SDK for developing enclaves

A curated list of awesome open source workflow engines

Component library with a native macOS Ventura and Windows 11 look-and-feel. 🚧 Work in progress.