Popular repositories Loading

1. Jandom Jandom Public

   An abstract-interpretation based static analyzer written in Scala.

   Scala 33 10

2. JGMP JGMP Public

   Java bindings for the GMP (GNU Multiple Precision Arithmetic Library) using JNA

   Java 7 2

3. ScalaFix ScalaFix Public

   A Scala library for solving fixpoint equations

   Scala 4 2

4. goblint goblint Public

   Forked from goblint/analyzer

   This is a fork of the goblint static analysis framework, used for experiments on localization.

   OCaml

5. JPPL JPPL Public

   Java bindings for the Parma Polyhedra Library

   Java

6. JandomWeb JandomWeb Public

   A web interface for the Jandom Static Analyzer

   HTML 1