Implementation of the Cedar Policy Language

📖 A template to get quickly started with any LaTeX project. Features a very convenient build system, using latexrun.

A work-in-progress language and compiler for verified low-level programming

Public repository for "Where Does My Model Underperform? A Human Evaluation of Slice Discovery Algorithms".

Userspace WireGuard® Implementation in Rust

Compositional Verification of Security Protocols

Verified Datalog

Verified Rust for low-level systems code

A formalization of the RVWMO (RISC-V) memory model

A formal semantics of the RISC-V ISA in Haskell

A mechanisation of Wasm in Coq(Rocq)

reflection-oriented programming

CS61 lecture material

The core OCaml system: compilers, runtime system, base libraries

Owl - OCaml Scientific Computing @ https://ocaml.xyz