jnear/smc jnear/smc

  • Stars
    star
    1
  • Language
    Ruby
  • License
    GNU General Publi...
  • Created about 10 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jnear/smc
github

jnear

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Security Model Checker for Rails

More Repositories

1

cs211-data-privacy

Jupyter Notebook
39
star
2

derailer

Static analysis tool for Rails apps
CSS
22
star
3

cs295-secure-computation

Jupyter Notebook
9
star
4

cs202-compiler-construction

Racket
8
star
5

cs202-assignments

Jupyter Notebook
7
star
6

compiler-construction-assignments

Assignment code for UVM Compiler Construction course
Racket
5
star
7

glass-wearable

1
star
8

cs3110-data-privacy

CS3110/5110: Data Privacy
Jupyter Notebook
1
star