GitHub is home to over 40 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
The Z3 Theorem Prover
Python bindings for Valgrind's VEX IR.
Nmap - the Network Mapper. Github mirror of official SVN repository.
Single Packet Authorization > Port Knocking
A little tool to play with Windows security
DeepState augments C/C++ Test-Driven Development with Symbolic Execution
Symbolic execution tool
Graphite is a "smart font" system developed specifically to handle the complexities of lesser-known languages of the world.
Ansible-based deployment automation for the OpenConext platform
Raspberry Pi USB booting code, moved from tools repository
Testing TLS/SSL encryption anywhere on any port
Ubercart Data Protection
A coloring book to help folks understand how SELinux works.
lsnfc is a simple command that lists tags which are in your NFC device field