• Symbolic Simplification with PAttern Matching

    Python 20 2 Updated Feb 22, 2017
  • IRMA is an asynchronous & customizable analysis system for suspicious files.

    JavaScript 86 16 Updated Feb 20, 2017
  • Virtual machine templates for Ubuntu

    Shell 1 180 Updated Feb 15, 2017
  • A playbook to install and configure RabbitMQ.

    92 Updated Feb 14, 2017
  • /!\ This is a fork of the uWSGI Ansible Role from gdamjan. See https://github.com/gdamjan/ansible-uwsgi for PRs. /!\

    11 Updated Feb 14, 2017
  • irma api command line client

    Python 1 2 Updated Feb 9, 2017
  • Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions

    C++ 55 5 Updated Feb 6, 2017
  • Updated Feb 1, 2017
  • Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015

    TeX 24 10 Updated Jan 21, 2017
  • Virtual machine templates for Debian

    Shell 53 Updated Jan 18, 2017
  • NTT-based Fast Lattice library

    C++ 26 8 Updated Dec 5, 2016
  • IRMA ansible

    26 11 Updated Nov 28, 2016
  • IRMA common

    8 3 Updated Nov 28, 2016
  • IRMA frontend

    26 5 Updated Nov 28, 2016
  • IRMA brain

    22 5 Updated Nov 28, 2016
  • IRMA probe

    26 13 Updated Nov 28, 2016
  • IRMA Web User Interface

    JavaScript Updated Nov 9, 2016
  • Safely store secrets in Git/Mercurial/Subversion

    Shell 2 157 Updated Aug 24, 2016
  • Fork of keyringer from https://keyringer.pw (added some features like tree view, additional checks, ...)

    Shell 3 Updated Jun 21, 2016
  • system scanner

    C++ 136 34 Updated May 23, 2016
  • C++ 2 5 Updated May 4, 2016
  • Library to manage big sets of integers (and IPv4 ranges)

    C++ 18 6 Updated Apr 5, 2016
  • Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.

    C++ 747 Updated Mar 11, 2016
  • Virtual machine templates for Windows

    Ruby 8 140 Updated Oct 19, 2015
  • qb-sync is an open source tool to add some helpful glue between IDA Pro and Windbg. Its core feature is to dynamically synchronize IDA's graph windows with Windbg's position.

    C++ 69 18 Updated Jul 13, 2015
  • Collection of various llvm passes

    C++ 20 14 Updated Jun 2, 2015
  • Updated May 29, 2015
  • Updated May 27, 2015
  • a Vagrant VM using Ansible to provide a Selenium Server

    Shell 6 3 Updated Jan 23, 2015
  • LaTeX template to be used by authors for SSTIC publication

    TeX 1 11 Updated Jan 23, 2015