emina

University of WashingtonSeattle

Pinned Repositories

wallingford
An experimental DSL for handling state and updates, along with constraints, in Rosette.
Language:Racket50 24 03
cedar
Implementation of the Cedar Policy Language
Language:Rust882 15 36079
cedar-examples
Some examples of using the Cedar language to specify authorization
Language:Rust69 8 2323
cedar-spec
Definitional implementation of Cedar language and utilities for DRT
Language:Lean90 7 6515
emina.github.io
Language:HTML1 2 00
kodkod
Kodkod solver for relational logic
Language:Java74 8 123
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:Racket641 30 14474
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:Rust81 43 25

emina's Repositories

emina/rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Language:Racket641 30 14474
emina/kodkod
Kodkod solver for relational logic
Language:Java74 8 123
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