Popular repositories

1. wp-local-tactic Public

   enable the specification of tactics to be used for a given ACSL block specification

   OCaml 1

2. ocamlgraph Public

   Forked from backtracking/ocamlgraph

   OCaml graph library

   OCaml

3. cvxopt Public

   Forked from cvxopt/cvxopt

   CVXOPT -- Python Software for Convex Optimization

   C

4. paparazzi Public

   Forked from paparazzi/paparazzi

   Paparazzi is a free and open-source hardware and software project for unmanned (air) vehicles. This is the main software repository.

   C

5. LocalCopy Public

   Forked from lehner/LocalCopy

   LocalCopy is a plugin that extends the popular reference manager JabRef. It provides an automatic download feature for preprints from the arXiv and journals that are linked using the DOI-system or …

   Java

6. acsl-ext Public

   Tiny example of direct access to FramaC modules as a library

   Makefile