Popular repositories Loading

1. Z3Ann Z3Ann Public

   A neural network generator using Z3 constraint solver to find weights

   C++ 1 1

2. irma-probe irma-probe Public

   Forked from quarkslab/irma-probe

   IRMA probe

   Python

3. irma-ansible irma-ansible Public

   Forked from quarkslab/irma-ansible-old

   IRMA ansible

   Shell

4. Triton Triton Public

   Forked from JonathanSalwan/Triton

   Concolic execution framework based on Pin. It provides components like a taint engine, a dynamic symbolic execution engine, a snapshot engine, translation of x64 instructions into SMT2-LIB, a Z3 in…

   C++

5. cuckoo2mist cuckoo2mist Public

   Forked from trou/cuckoo2mist

   A fork of cuckoo2mist. MIST is The Malware Instruction Set (MIST) is a representation for monitored behavior of malicious software.

   Python

6. finance-playground finance-playground Public

   Python