markpmitchell

Pinned Repositories

cancancan
The authorization Gem for Ruby on Rails.
Language:Ruby5.6k 96 420638
cancancan
Continuation of CanCan, the authorization Gem for Ruby on Rails.
Language:Ruby01
yices2
The Yices SMT Solver
Language:SMT00
yices2
The Yices SMT Solver
Language:SMT381 26 38049

markpmitchell's Repositories

markpmitchell/cancancan
Continuation of CanCan, the authorization Gem for Ruby on Rails.
Language:Ruby01
markpmitchell/yices2
The Yices SMT Solver
Language:SMT00