Style guides for Google-originated open-source projects

Embedding of The Theory of Abstract Objects in Isabelle/HOL

Cue system for simple two-way communication and visual signaling using a PeerJS peer-to-peer connection.

Terraform Provider for Google Cloud Platform

RISC-V Instruction Set Manual

A minimalist and modern Beamer theme

Stub out a function in the Linux kernel

Translation of a Haskell run-time fizzbuzz to a C++ compile-time fizzbuzz. I'm so sorry.

A verified permissioned centralized Blockchain for Isabelle/HOL

The Python programming language

cryptography is a package designed to expose cryptographic primitives and recipes to Python developers.

A C runtime for the Open Container Specification

Tips and tricks for getting through on-call

In case of fire, git commit, git push and leave the building

uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.

Docker Firewall Framework

Mignis is a semantic based tool for firewall configuration.

Some of the stickers might unsettle you. 🔓

dogr

Our Website

Golden test support for Tasty

Semantics of C in K

Proof and Code Presentation Framework

The main libseccomp repository

Bindings to libseccomp

A Scala library which talks to Isabelle (DISCONTINUED)

Auto-generate a command-line parser for your datatype

Unfinished projects and snippets