andreistefanescu

@GaloisIncPortland, OR

Pinned Repositories

aws-lc-verification-lift
Language:Go0 0 00
c-semantics
Semantics of C in K
Language:C0 1 00
hello_muse
Language:C00
javascript-semantics
A Complete Formal Semantics of JavaScript in K
Language:JavaScript00
k
The K tools
Language:Java0 2 00
matching-logic
Automatically exported from code.google.com/p/matching-logic
Language:Coq2 0 21
s2n-tls
An implementation of the TLS/SSL protocols
Language:C4.5k 174 1.4k704
crucible
Crucible is a library for symbolic simulation of imperative programs
Language:Rust634 33 46942
cryptol
Cryptol: The Language of Cryptography
Language:Haskell1.1k 55 1.2k123
k
K Framework Tools 7.0
Language:Java444 37 1.2k147

andreistefanescu's Repositories

andreistefanescu/matching-logic
Automatically exported from code.google.com/p/matching-logic
Language:Coq2 0 21
andreistefanescu/aws-lc-verification-lift
Language:Go0 0 00
andreistefanescu/c-semantics
Semantics of C in K
Language:C0 1 00
andreistefanescu/hello_muse
Language:C00
andreistefanescu/javascript-semantics
A Complete Formal Semantics of JavaScript in K
Language:JavaScript00
andreistefanescu/k
The K tools
Language:Java0 2 00