Home|About|Gaming cabinet|Archives|How it works|Starter sites

GeezerVison is showing github.com — sonmarcho - Overview

sonmarcho Follow

More

sonmarcho

Follow

Son HO sonmarcho

Follow

59 followers · 9 following

Inria
Paris
@sonmarcho

Achievements

Achievement: Starstruck

Achievement: Quickdraw

Achievement: Pair Extraordinaire

Achievement: YOLO

Achievement: Pull Shark

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Starstruck

Achievement: Quickdraw

Achievement: Pair Extraordinaire

Achievement: YOLO

Achievement: Pull Shark

Achievement: Arctic Code Vault Contributor

Organizations

More

Pinned Loading

AeneasVerif/aeneas AeneasVerif/aeneas Public

A verification toolchain for Rust programs

OCaml 1.2k 151
AeneasVerif/charon AeneasVerif/charon Public

Analyze Rust crates without touching compiler internals

Rust 483 74
Inria-Prosecco/noise-star Inria-Prosecco/noise-star Public

Verified implementations for the Noise family of protocols

C 17 4
fstar-extended-mode fstar-extended-mode Public

Advanced interactive mode for the F* theorem prover

F* 5

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

Uh oh!

There was an error while loading. Please reload this page.