sonmarcho

InriaParis

Pinned Repositories

aeneas
A verification toolchain for Rust programs
Language:OCaml220 5 15215
charon
Interface with the rustc compiler for the purpose of program verification
Language:Rust111 5 16017
dafny
Dafny is a verification-aware programming language
Language:C#2.9k 80 2.8k265
FStar
A Proof-oriented Programming Language
Language:F*2.8k 80 2k235
hacl-star
HACL*, a formally verified cryptographic library written in F*
Language:F*1.6k 78 229170
noise-star
Verified implementations for the Noise family of protocols
Language:C14 5 43
CrowdEngine
A real-time 3D rendering engine implemented in C++ with Direct3D10
Language:C++0 1 00
fstar-extended-mode
Advanced interactive mode for the F* theorem prover
Language:F*3 2 00
MayaExporter
A plugin for Autodesk Maya to export 3D models in a custom format
Language:C++0 1 00
sonmarcho.github.io
My personal website
Language:HTML0 1 10

sonmarcho's Repositories

sonmarcho/fstar-extended-mode
Advanced interactive mode for the F* theorem prover
Language:F*3 2 00
sonmarcho/CrowdEngine
A real-time 3D rendering engine implemented in C++ with Direct3D10
Language:C++0 1 00
sonmarcho/MayaExporter
A plugin for Autodesk Maya to export 3D models in a custom format
Language:C++0 1 00
sonmarcho/sonmarcho.github.io
My personal website
Language:HTML0 1 10