Highlights
- Pro
Stars
Programs and Proofs -- Spring 2025 -- IITM
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
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.
List of Computer Science courses with video lectures.
This is the OpenArkCompiler mirror repository, keeping up-to-date with the official update.
Definition of the Viper intermediate verification language.
Formalization of the Dependent Object Types (DOT) calculus
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
Dafny is a verification-aware programming language