Coq plugin embedding elpi

Embeddable Lambda Prolog Interpreter

The MSR Ironclad project builds provably secure and reliable systems.

Mechanized baselines for various type system features

A javascript library to connect to and communicate with a pvsio process using websockets

Coarse-grained information flow control for Java

Coq library for working with de Bruijn indices [maintainer=@KevOrr]

An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.

A cryptography library and a SharedPreferences wrapper for Android that encrypts the content with 256 bit AES encryption. The Encryption key is securely stored in device's KeyStore.

JaTyC: a typestate checker for Java

List of Computer Science courses with video lectures.

This is the OpenArkCompiler mirror repository, keeping up-to-date with the official update.

Scala staging framework

Definition of the Viper intermediate verification language.

formalization of the Dependent Object Types (DOT) calculus

ACM consolidated LaTeX styles

The Penn Locally Nameless Metatheory Library

Formalization of the Dependent Object Types (DOT) calculus

Best of POPL (BOP) Reading Group Memoirs

Rust mid-level IR Abstract Interpreter

📝 Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.

A toy implementation of an MPC protocol as an embedding in Scala

Interview questions

Dafny is a verification-aware programming language

🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…