Popular repositories Loading

1. RecuperaBit RecuperaBit Public

   Forked from Lazza/RecuperaBit

   A tool for forensic file system reconstruction.

   Python

2. D3Edit D3Edit Public

   Forked from GoobyCorp/D3Edit

   A script to encrypt/decrypt and modify Diablo III saves

   C#

3. jkind-1 jkind-1 Public

   Forked from andreaskatis/jkind-1

   JKind - a Java implementation of the KIND model checker

   Java

4. fret fret Public

   Forked from NASA-SW-VnV/fret

   A framework for the elicitation, specification, formalization and understanding of requirements.

   JavaScript

5. kind2 kind2 Public

   Forked from kind2-mc/kind2

   Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

   OCaml

6. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++