ElNiak's Stars
microsoft/ivy
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
star-history/star-history
The missing star history graph of GitHub repos - https://star-history.com
capstone-engine/capstone
Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, TriCore, Webassembly, XCore and X86.
r3bb1t/bin_lift
Rust library for lifting raw binary data to LLVM IR
x64dbg/x64dbg
An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.
readloud/Google-Hacking-Database
The GHDB is an index of search queries (we call them dorks) used to find publicly available information, intended for pentesters and security researchers.
ihebski/DefaultCreds-cheat-sheet
One place for all the default credentials to assist the Blue/Red teamers activities on finding devices with default password 🛡️
SylphAI-Inc/AdalFlow
AdalFlow: The library to build & auto-optimize any LLM tasks.
tdurieux/anonymous_github
Anonymous Github is a proxy server to support anonymous browsing of Github repositories for open-science code and data.
angr/angr
A powerful and user-friendly binary analysis platform!
NTAP/quant
QUIC implementation for POSIX and IoT platforms
pyinfra-dev/pyinfra
pyinfra turns Python code into shell commands and runs them on your servers. Execute ad-hoc commands and write declarative operations. Target SSH servers, local machine and Docker containers. Fast and scales from one server to thousands.
moonD4rk/HackBrowserData
Extract and decrypt browser data, supporting multiple data types, runnable on various operating systems (macOS, Windows, Linux).
kurogai/100-redteam-projects
Projects for security students
m4ll0k/BBTz
BBT - Bug Bounty Tools (examples💡)
aws/s2n-quic
An implementation of the IETF QUIC protocol
reactor/reactor-netty
TCP/HTTP/UDP/QUIC client/server with Reactor over Netty
quic-go/quic-go
A QUIC implementation in pure Go
cloudflare/quiche
🥧 Savoury implementation of the QUIC transport protocol and HTTP/3
mengelbart/moqtransport
Media over QUIC Transport Implementation
Tencent/tquic
A high-performance, lightweight, and cross-platform QUIC library
devsisters/goquic
QUIC support for Go
litespeedtech/lsquic
LiteSpeed QUIC and HTTP/3 Library
quinn-rs/quinn
Async-friendly QUIC implementation in Rust
QUICTester/QUICTester
NetSPI/MicroBurst
A collection of scripts for assessing Microsoft Azure security
papers-we-love/papers-we-love
Papers from the computer science community to read and discuss.
csvl/CWAF_config
llvm/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
lauren-yrluo/ivy