- San Francisco, CA
- andrei.stefanescu.io
-
-
aws-lc-verification-lift Public
Forked from awslabs/aws-lc-verificationGo Apache License 2.0 UpdatedMar 7, 2023 -
matching-logic Public
Automatically exported from code.google.com/p/matching-logic
-
-
c-semantics Public
Forked from kframework/c-semanticsSemantics of C in K
C Other UpdatedNov 20, 2015 -
javascript-semantics Public
Forked from kframework/javascript-semanticsA Complete Formal Semantics of JavaScript in K
JavaScript UpdatedNov 13, 2014