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
- guardians Public
an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026)
metareflection/guardians’s past year of commit activity - 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
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…