Isabelle packaged using Nix without prebuilt platform-specific binary artifacts

EasyCrypt: Computer-Aided Cryptographic Proofs

Google coredumper library

A KMS-powered ssh-agent (and its underlying Golang package)

Sync your markdown files with Confluence pages.

Ethereum backed blog platform.