Guido Martínez's repositories
verificacion-con-fstar-2024
Repositorio de la optativa para la FCEIA
batteries-included
Batteries Included project
dotfiles_cs
temp
everparse
Automated generation of provably secure, zero-copy parsers from format specifications
everquic-crypto
Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.
FStar
A Proof-oriented Programming Language
fstar-mode.el
Emacs support for F*
fstar-project-template
A template for an F* project with Makefile and devcontainer
fstar-vscode-assistant
An interactive mode for F* in VS Code
git
Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documentation/SubmittingPatches procedure for any of your improvements.
karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
ld_preload
LD_PRELOAD example
merkle-tree
A verified Merkle Tree, built as a standalone project on top of EverCrypt
mitls-fstar
Verified implementation of TLS 1.3 in F*
pulse
The Pulse separation logic DSL for F*
pulse-project
Base Pulse project (TODO: coallesce with FStarLang/pulse-sandbox)
steel
The Steel separation logic library for F*
VimFStar
A Vim mode for FStar
z3
The Z3 Theorem Prover