Skip to content

Navigation Menu

Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

mtzguido Follow

Overview Repositories 52 Projects 0 Packages 0 Stars 14

More

Overview
Repositories
Projects
Packages
Stars

mtzguido

Follow

Guido Martínez mtzguido

Follow

44 followers · 0 following

Microsoft Research
Seattle
mtzguido.github.io

Achievements

Achievements

Organizations

Block or report mtzguido

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Add an optional note:

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Overview Repositories 52 Projects 0 Packages 0 Stars 14

More

Overview
Repositories
Projects
Packages
Stars

Type All

Select type

All Sources Forks Archived Can be sponsored Mirrors Templates

Language All

Select language

All F* OCaml Assembly Shell Emacs Lisp Makefile TypeScript C Vim Script C++ Dockerfile SMT TeX SystemVerilog Haskell Standard ML

Sort Last updated

Select order

Last updated Name Stars

FStar Public
Forked from FStarLang/FStar

A Proof-oriented Programming Language

F* Apache License 2.0 Updated Mar 11, 2025
z3-ramon-results Public

Updated Mar 11, 2025
karamel Public
Forked from FStarLang/karamel

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

OCaml Apache License 2.0 Updated Mar 10, 2025
pulse Public
Forked from FStarLang/pulse

The Pulse separation logic DSL for F*

F* Apache License 2.0 Updated Mar 9, 2025
StarMalloc Public
Forked from Inria-Prosecco/StarMalloc

A verified, modern, hardened memory allocator.

F* Apache License 2.0 Updated Mar 8, 2025
steel Public
Forked from FStarLang/steel

The Steel separation logic library for F*

F* Apache License 2.0 Updated Mar 6, 2025
everparse Public
Forked from project-everest/everparse

Automated generation of provably secure, zero-copy parsers from format specifications

F* Apache License 2.0 Updated Feb 26, 2025
hacl-star Public
Forked from hacl-star/hacl-star

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

Assembly 1 Apache License 2.0 Updated Feb 17, 2025
mitls-fstar Public
Forked from project-everest/mitls-fstar

Verified implementation of TLS 1.3 in F*

F* Other Updated Feb 12, 2025
merkle-tree Public
Forked from hacl-star/merkle-tree

A verified Merkle Tree, built as a standalone project on top of EverCrypt

F* Updated Feb 5, 2025
everest Public
Forked from project-everest/everest

Shell Apache License 2.0 Updated Feb 4, 2025
fstar-mode.el Public
Forked from FStarLang/fstar-mode.el

Emacs support for F*

Emacs Lisp Apache License 2.0 Updated Feb 1, 2025
fstar-plugin-example1 Public

Makefile Updated Jan 18, 2025
FStar-nightly Public

Updated Jan 15, 2025
mls-star Public
Forked from Inria-Prosecco/mls-star

OCaml Apache License 2.0 Updated Jan 9, 2025
dolev-yao-star-extrinsic Public
Forked from REPROSEC/dolev-yao-star-extrinsic

DY* with extrinsic proofs

F* Mozilla Public License 2.0 Updated Jan 9, 2025
comparse Public
Forked from TWal/comparse

F* Updated Jan 9, 2025
everquic-crypto Public
Forked from project-everest/everquic-crypto

Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.

F* Apache License 2.0 Updated Jan 8, 2025
checkout Public
Forked from actions/checkout

Action for checking out a repo

TypeScript MIT License Updated Dec 30, 2024
fstar-vscode-assistant Public
Forked from FStarLang/fstar-vscode-assistant

An interactive mode for F* in VS Code

TypeScript Other Updated Dec 26, 2024
z3-bisect Public

Z3 bisection harness

Shell Updated Dec 10, 2024
ramon Public

Resource measurement tool

linux

C Updated Oct 18, 2024
verificacion-con-fstar-2024 Public

Repositorio de la optativa para la FCEIA

F* 16 16 Updated Sep 6, 2024
gci-download Public

Updated Sep 5, 2024
gci-upload Public

Updated Sep 5, 2024
set-opam-env Public

Shell Updated Sep 2, 2024
dotfiles_cs Public

temp

Shell Updated Jun 28, 2024
pulse-project Public

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

Makefile Updated Jun 27, 2024
mtzguido.github.io Public

F* Updated Jun 25, 2024
VimFStar Public
Forked from FStarLang/VimFStar

A Vim mode for FStar

Vim Script Vim License Updated Jun 14, 2024

Previous Next

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.