21 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
abella 2.0.4-1 1 0.00 Interactive theorem prover mgrabovsky
cryptoverif 2.00-1 0 0.00 Cryptographic protocol verifier in the computational model mgrabovsky
divine 3.3.2-1 0 0.00 Explicit-state model checker mgrabovsky
lean-bin 3.4.1-1 2 0.00 Lean Theorem Prover mgrabovsky
lean-git 3.3.0.r54.g393008586-1 4 0.00 Lean Theorem Prover mgrabovsky
ocaml-gen 0.5.1-1 0 0.00 Iterators for OCaml mgrabovsky
ocaml-sedlex 1.99.3-1 0 0.00 Unicode-friendly OCaml lexer generator mgrabovsky
proverif 2.00-1 2 0.00 Cryptographic protocol verifier in the formal model mgrabovsky
ruby-actionmailer 5.1.5-1 25 0.00 Email composition, delivery, and receiving framework (part of Rails). mgrabovsky
ruby-actionpack 5.1.5-1 32 0.00 Web-flow and rendering framework putting the VC in MVC (part of Rails). mgrabovsky
ruby-actionview 5.1.5-1 9 0.00 Rendering framework putting the V in MVC (part of Rails). mgrabovsky
ruby-activemodel 5.1.4-1 32 0.00 A toolkit for building modeling frameworks (part of Rails). mgrabovsky
ruby-activerecord 5.1.5-1 30 0.00 Object-relational mapper framework (part of Rails). mgrabovsky
ruby-hike 2.1.3-1 0 0.00 Find files in a set of paths mgrabovsky
ruby-loofah 2.2.0-2 5 0.00 HTML sanitization for Rails applications mgrabovsky
ruby-rails 5.1.5-1 92 0.00 Full-stack web application framework. mgrabovsky
ruby-rails-html-sanitizer 1.0.3-3 5 0.00 HTML sanitization for Rails applications mgrabovsky
ruby-railties 5.1.5-1 23 0.00 Tools for creating, working with, and running Rails applications. mgrabovsky
ruby-sass-rails 5.0.6-1 0 0.00 Sass adapter for the Rails asset pipeline. mgrabovsky
ruby-sprockets 3.7.1-1 22 0.00 Rack-based asset packaging system mgrabovsky
ruby-sprockets-rails 3.2.1-1 9 0.00 Sprockets Rails integration mgrabovsky

21 packages found. Page 1 of 1.