Repositories list

• ieeeround

  Public
  An R library for controlling the rounding behaviour of IEEE floating point operations

  C

  •0•0•0•0•Updated Oct 10, 2024Oct 10, 2024

• goblint

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

  OCaml

  •

  MIT License

  •77•0•0•0•Updated Jul 7, 2023Jul 7, 2023

• apron

  Public
  Apron Numerical Abstract Domain Library

  C

  •

  Other

  •33•0•0•0•Updated May 26, 2023May 26, 2023

• JGMPBenchmarks

  Public
  A set of benchmarks for JGMP.

  java

  Java

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated May 24, 2023May 24, 2023

• JGMP

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

  javajna

  Java

  •

  GNU General Public License v3.0

  •1•6•0•0•Updated May 23, 2023May 23, 2023

• ScalaFixExamples

  Public
  Examples for the ScalaFix library.

  scala

  Scala

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Nov 20, 2022Nov 20, 2022

• ScalaFix

  Public
  A Scala library for solving fixpoint equations

  scala

  Scala

  •

  GNU General Public License v3.0

  •2•4•0•0•Updated Nov 20, 2022Nov 20, 2022

• JPPL

  Public
  Java bindings for the Parma Polyhedra Library

  jnajava

  Java

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Sep 14, 2022Sep 14, 2022

• Jandom

  Public
  An abstract-interpretation based static analyzer written in Scala.

  Scala

  •

  GNU Lesser General Public License v3.0

  •10•33•2•0•Updated Mar 23, 2022Mar 23, 2022

• JandomWeb

  Public
  A web interface for the Jandom Static Analyzer

  HTML

  •

  GNU General Public License v3.0

  •1•0•0•0•Updated Nov 4, 2016Nov 4, 2016