Warning: file_exists(): open_basedir restriction in effect. File(/srv/http/vhosts/aur.archlinux.org/public/web/locale//en/LC_MESSAGES/aurweb.mo) is not within the allowed path(s): (/srv/http/vhosts/aur-dev.archlinux.org/:/etc/aurweb/) in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/streams.php on line 90
AUR (en) - Search Criteria: mgrabovsky

23 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
abella 2.0.4-1 0 0.00 Interactive theorem prover mgrabovsky
alt-ergo 1.01-1 1 0.00 SMT solver for software verification mgrabovsky
camlp5 6.17-1 11 0.00 A preprocessor-pretty-printer of OCaml. mgrabovsky
cryptoverif 1.24-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 0.2.0.20160924023443-1 1 0.00 Lean Theorem Prover mgrabovsky
lean-git 0.2.0.r8554.9fa30e3-1 2 0.00 Lean Theorem Prover mgrabovsky
ocaml-gen 0.4.0.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 1.95-1 2 0.04 Cryptographic protocol verifier in the formal model mgrabovsky
ruby-actionmailer 5.0.1-1 23 0.00 Email composition, delivery, and receiving framework (part of Rails). mgrabovsky
ruby-actionpack 5.0.1-1 30 0.04 Web-flow and rendering framework putting the VC in MVC (part of Rails). mgrabovsky
ruby-actionview 5.0.1-1 7 0.04 Rendering framework putting the V in MVC (part of Rails). mgrabovsky
ruby-activemodel 5.0.1-2 30 0.00 A toolkit for building modeling frameworks (part of Rails). mgrabovsky
ruby-activerecord 5.0.1-1 28 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.0.3-2 3 0.04 HTML sanitization for Rails applications mgrabovsky
ruby-rails 5.0.1-1 91 0.01 Full-stack web application framework. mgrabovsky
ruby-rails-html-sanitizer 1.0.3-3 3 0.05 HTML sanitization for Rails applications mgrabovsky
ruby-railties 5.0.1-1 21 0.04 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 20 0.02 Rack-based asset packaging system mgrabovsky
ruby-sprockets-rails 3.2.0-1 7 0.00 Sprockets Rails integration mgrabovsky

23 packages found. Page 1 of 1.