Stars
typetools / jdk
Forked from openjdk/jdkRead-only mirror of https://hg.openjdk.java.net/jdk/jdk
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Run macOS VM in a Docker! Run near native OSX-KVM in Docker! X11 Forwarding! CI/CD for OS X Security Research! Docker mac Containers.
A Reproducible Benchmark of Recent Java Bugs
A list of useful payloads and bypass for Web Application Security and Pentest/CTF
OWASP VulnerableApp Project: For Security Enthusiasts by Security Enthusiasts.
Source code (C,C++,Java) static analysis tool
Solver for Constrained Horn Clauses
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
Run JetBrains IDEs remotely with Docker
Simple creation of data classes from dictionaries.
Content blocking extension for Samsung Internet and Yandex Browser
A course in reinforcement learning in the wild
MPC-HC's main repository. For support use our Trac: https://trac.mpc-hc.org/
MIRACL Cryptographic SDK: Multiprecision Integer and Rational Arithmetic Cryptographic Library is a C software library that is widely regarded by developers as the gold standard open source SDK for…
An Open Source Machine Learning Framework for Everyone
Empowering everyone to build reliable and efficient software.
Command-line utility that extracts streams from various services and pipes them into a video player of choice. No longer maintained, use streamlink or youtube-dl instead.
A multi platform Twitch.tv browser for Streamlink