emina

University of WashingtonSeattle

Pinned Repositories

wallingford
An experimental DSL for handling state and updates, along with constraints, in Rosette.
Language:Racket49 24 03
cedar
Implementation of the Cedar Policy Language
Language:Rust763 15 28763
cedar-examples
Some examples of using the Cedar language to specify authorization
Language:Rust55 8 2018
cedar-spec
Definitional implementation of Cedar language and utilities for DRT
Language:Lean72 9 5610
emina.github.io
Language:HTML1 2 00
kodkod
Kodkod solver for relational logic
Language:Java73 8 121
minisatp
MiniSat v1.14 with proof logging
Language:C4 3 00
rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Language:Racket631 30 14473
wallingford
An experimental DSL for handling state and updates, along with constraints, in Rosette.
Language:Racket2 1 00
crust
A compiler from Rust to C, and a checker for unsafe code
Language:Rust82 41 25

emina's Repositories

emina/rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Language:Racket631 30 14473
emina/kodkod
Kodkod solver for relational logic
Language:Java73 8 121
emina/minisatp
MiniSat v1.14 with proof logging
Language:C4 3 00
emina/wallingford
An experimental DSL for handling state and updates, along with constraints, in Rosette.
Language:Racket2 1 00
emina/emina.github.io
Language:HTML1 2 00