mtzguido Goto Github PK

batteries-included

Batteries Included project

cemetery

A (toy-ish) DSL for Cryptography.

dba

dotfiles_cs

temp

eci35_hetprog

epoll

Sample epoll code for class

everest

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.

hacl-star

HACL*, a formally verified cryptographic library written in F*

ice

Chess AI. Stands for "ICE Chess Engine"

jobserver-sharing

karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code

knn

K-nearest neighbors classifier

lcc.cls

Clase de LaTeX para documentos de la LCC (prácticas, exámenes, etc)

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*

mtzguido.github.io

pulse

The Pulse separation logic DSL for F*

pulse-project

Base Pulse project (TODO: coallesce with FStarLang/pulse-sandbox)

ramon

Resource measurement tool

ray-tracer

A pretty standard constructive solid geometry ray tracer

rubik

Rubik cube solver (and checker)

runlim