RustanLeino

Lover by day, hacker by night

Amazon Web ServicesSeattle, WA, USA

Pinned Repositories

aws-encryption-sdk-java
AWS Encryption SDK
Language:Java1 1 00
boogie
Boogie
Language:Boogie0 0 00
boogie-friends
Tools for interacting with Boogie
Language:Emacs Lisp0 0 00
dafny
Dafny is a verification-aware programming language
Language:C#3 1 00
dafny-jrnl
Combining Perennial and Dafny with a verified journal
Language:Dafny0 0 00
ide-vscode
VSCode IDE Integration for Dafny
Language:TypeScript0 0 00
libraries
Libraries useful for Dafny programs
Language:Dafny0 0 00
rfcs
Dafny request-for-feature discussions
0 0 00
RustanLeino.github.io
Rustan Leino on the web
Language:HTML1 1 00
Specs
Contains the specifications for the Java language used by OpenJML.
Language:Java1 1 00

RustanLeino's Repositories

RustanLeino/dafny
Dafny is a verification-aware programming language
Language:C#3 1 00
RustanLeino/aws-encryption-sdk-java
AWS Encryption SDK
Language:Java1 1 00
RustanLeino/RustanLeino.github.io
Rustan Leino on the web
Language:HTML1 1 00
RustanLeino/Specs
Contains the specifications for the Java language used by OpenJML.
Language:Java1 1 00
RustanLeino/boogie
Boogie
Language:Boogie0 0 00
RustanLeino/boogie-friends
Tools for interacting with Boogie
Language:Emacs Lisp0 0 00
RustanLeino/dafny-jrnl
Combining Perennial and Dafny with a verified journal
Language:Dafny0 0 00
RustanLeino/ide-vscode
VSCode IDE Integration for Dafny
Language:TypeScript0 0 00
RustanLeino/libraries
Libraries useful for Dafny programs
Language:Dafny0 0 00
RustanLeino/rfcs
Dafny request-for-feature discussions
0 0 00