briangmilnes

Volunteering on F* at MSFT Research

6160 90th ave se mercer island wa 98040

Pinned Repositories

CycloneCoqSemantics
Models of the Semantics of the Cyclone Language from Dan Grossman's thesis
Language:Coq0 1 01
CycloneTwelfSemantics
0 1 00
foxtnet
CMU CS's Traditional TCP/IP in ML
Language:Standard ML01
FStar-1
A Proof-oriented Programming Language
Language:F*00
FStar-Switch
An extension to Fstar Mode in Emacs that allows switching between F* installations and working in the compiler
Language:Emacs Lisp00
vale
Language:Python0 2 00
community
Public feedback discussions for: GitHub Mobile, GitHub Discussions, GitHub Codespaces, GitHub Sponsors, GitHub Issues and more!
Language:Ruby6.9k 653 02.7k
FStar
A Proof-oriented Programming Language
Language:F*2.8k 80 2k235
karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
Language:OCaml403 43 16361
everest
Language:Shell193 27 6429

briangmilnes's Repositories

briangmilnes/CycloneCoqSemantics
Models of the Semantics of the Cyclone Language from Dan Grossman's thesis
Language:Coq0 1 01
briangmilnes/CycloneTwelfSemantics
0 1 00
briangmilnes/foxtnet
CMU CS's Traditional TCP/IP in ML
Language:Standard ML01
briangmilnes/FStar-milnes-typos-3086
A Proof-oriented Programming Language
Language:F*00
briangmilnes/vale
Language:Python0 2 00