Tahina Ramananandro (professional account)'s repositories
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
apt-cyg
Apt-cyg, an apt-get like tool for Cygwin
everest-ci
CI scripts for project everest
everest-ci-logs
Backup of Everest CI logs (with full history)
everquic-crypto
Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.
hacl-nix
Nix expressions to build HACL*
kremlin
KreMLin is a tool for extracting low-level F* programs to readable C code
mitls-fstar
TLS implemented in F*
ocaml-process
Easy process control in OCaml
ocaml-stdint
Various signed and unsigned integers for OCaml
prof_spacetime
Prof. Spacetime
project-everest.github.io
Landing page for Project Everest
pulse
The Pulse separation logic DSL for F*
quackyducky
Generating F* parser specifications from RFC specifications
steel
The Steel separation logic library for F*
vale
Verified Assembly Language for Everest
vWasm
A formally-verified provably-safe sandboxing Wasm-to-native compiler
z3
The Z3 Theorem Prover