Rustan Leino

@RustanLeino · User

Lover by day, hacker by night

Bellevue, WA, USA137 followers11 repositories

Repositories

A simple compiler pipeline, from parsing to running target code

★ 4DafnyForks 0

An intermediate verification language

★ 0Forks 0

Dafny is a verification-aware programming language

★ 3C#Forks 0

Boogie

★ 0BoogieForks 0

Contains the specifications for the Java language used by OpenJML.

★ 1JavaForks 0

Libraries useful for Dafny programs

★ 0DafnyForks 0

VSCode IDE Integration for Dafny

★ 0TypeScriptForks 0

Combining Perennial and Dafny with a verified journal

★ 0DafnyForks 0

Tools for interacting with Boogie

★ 0Emacs LispForks 0

Dafny request-for-feature discussions

★ 0Forks 0

AWS Encryption SDK

★ 1JavaForks 0