22 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
abella 2.0.4-1 1 0.02 Interactive theorem prover mgrabovsky
alt-ergo 1.01-1 1 0.00 SMT solver for software verification mgrabovsky
cryptoverif 1.28-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.2.0-1 2 0.12 Lean Theorem Prover mgrabovsky
lean-git 3.3.0.r54.g393008586-1 4 0.26 Lean Theorem Prover mgrabovsky
ocaml-gen 0.4.0.1-2 0 0.00 Iterators for OCaml mgrabovsky
ocaml-sedlex 1.99.3-1 0 0.00 Unicode-friendly OCaml lexer generator mgrabovsky
proverif 1.97pl1-1 2 0.00 Cryptographic protocol verifier in the formal model mgrabovsky
ruby-actionmailer 5.1.4-1 25 0.13 Email composition, delivery, and receiving framework (part of Rails). mgrabovsky
ruby-actionpack 5.1.3-1 32 0.13 Web-flow and rendering framework putting the VC in MVC (part of Rails). mgrabovsky
ruby-actionview 5.1.4-1 9 0.13 Rendering framework putting the V in MVC (part of Rails). mgrabovsky
ruby-activemodel 5.1.4-1 32 0.13 A toolkit for building modeling frameworks (part of Rails). mgrabovsky
ruby-activerecord 5.1.4-1 30 0.13 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.1.1-2 5 0.13 HTML sanitization for Rails applications mgrabovsky
ruby-rails 5.1.4-1 92 0.13 Full-stack web application framework. mgrabovsky
ruby-rails-html-sanitizer 1.0.3-3 5 0.13 HTML sanitization for Rails applications mgrabovsky
ruby-railties 5.1.4-1 23 0.13 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.13 Rack-based asset packaging system mgrabovsky
ruby-sprockets-rails 3.2.1-1 9 0.13 Sprockets Rails integration mgrabovsky

22 packages found. Page 1 of 1.