-
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
LLVM Other UpdatedNov 11, 2025 -
llvm-ir Public
Forked from cdisselkoen/llvm-irLLVM IR in natural Rust data structures
LLVM MIT License UpdatedNov 3, 2025 -
typeshed Public
Forked from python/typeshedCollection of library stubs for Python, with static types
Python Other UpdatedOct 20, 2025 -
mariana-trench Public
Forked from facebook/mariana-trenchA security focused static analysis tool for Android and Java applications.
C++ MIT License UpdatedAug 27, 2025 -
git-dumper Public
A tool to dump a git repository from a website
-
sapp Public
Forked from facebook/sappPost Processor for Facebook Static Analysis Tools.
-
hg-dumper Public
A tool to dump a mercurial repository from a website
-
redex Public
Forked from facebook/redexA bytecode optimizer for Android apps
C++ MIT License UpdatedApr 3, 2025 -
risk-win-probability Public
Python script to compute win probabilities in Risk - the board game.
-
ikos Public
Forked from NASA-SW-VnV/ikosStatic analyzer for C/C++ based on the theory of Abstract Interpretation.
C++ Other UpdatedDec 13, 2023 -
pytorch Public
Forked from pytorch/pytorchTensors and Dynamic neural networks in Python with strong GPU acceleration
Python Other UpdatedNov 3, 2023 -
Bogofilter-Score Public
Forked from friedPotat0/Spam-ScoresThunderbird add-on to display the bogofilter spam scores according to mail headers. The add-on adds a column with the overall spam score to the mail list view and shows details of any matched spam/…
JavaScript Other UpdatedSep 9, 2023 -
c2bf Public
Compiler from C to brainfuck
-
-
python3-pwntools Public archive
Forked from Gallopsled/pwntoolsCTF framework and exploit development library in python3 (pwntools and binjitsu fork)
-
x509-parser Public
Forked from ANSSI-FR/x509-parsera RTE-free X.509 parser
C Other UpdatedJun 26, 2019 -
awesome-static-analysis Public
Forked from analysis-tools-dev/static-analysisA curated list of static analysis tools, linters and code quality checkers for various programming languages
-
sv-benchmarks Public
Forked from sosy-lab/sv-benchmarksCollection of Verification Tasks
C UpdatedJan 11, 2017 -
-
-
pycrypto Public
Forked from pycrypto/pycryptoThe Python Cryptography Toolkit
-
yaourt Public
Forked from archlinuxfr/yaourtA Pacman frontend with more features and AUR support
Shell UpdatedDec 18, 2015 -
formatstring Public
Format string exploitation helper
-
pipobot-modules Public
Forked from pipoteam/pipobot-modulesSome modules that can be used with 'pipobot', a modular bot for Jabber MUCs
Python UpdatedAug 25, 2015 -
brainfuck-cpu Public
Let's suppose the assembly language is brainfuck!
-
-
the Crypto Undertaker
Shell GNU General Public License v3.0 UpdatedApr 20, 2015 -
microc Public
MicroC is a simple compiler in C++ from a subset of C to x86_32
-
-
spotify-next Public
A web server to vote for moving to the next music on spotify.
{{ message }}