metareflection
Popular repositories Loading
-
dafny-replay
dafny-replay PublicVerified kernels, written in Dafny and compiled to JavaScript, for correct-by-construction state in interactive web applications
-
-
-
Repositories
Showing 10 of 42 repositories
- dolev-yao Public
Lean 4 formalization of the Dolev-Yao attacker model for symbolic cryptographic protocols
metareflection/dolev-yao’s past year of commit activity - vickrey Public
Lean 4 formalization of strategy-proofness for the Vickrey (second-price sealed-bid) auction
metareflection/vickrey’s past year of commit activity - www-harvard Public
metareflection/www-harvard’s past year of commit activity - dafny-replay Public
Verified kernels, written in Dafny and compiled to JavaScript, for correct-by-construction state in interactive web applications
metareflection/dafny-replay’s past year of commit activity - henri Public
a small, hackable agent CLI in Python, with explicit control via tools, permissions, and hooks
metareflection/henri’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…