CTF Challenge for CSAW Finals 2021
☆13Nov 17, 2021Updated 4 years ago
Alternatives and similar repositories for terminal_velocity
Users that are interested in terminal_velocity are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Slides and materials for the talk Reconstructing Rust Types: A Practical Guide for Reverse Engineers at RE//verse 2025, presented on Febr…☆26May 23, 2025Updated last year
- legacy MTK devices little-kernel from Mediatek (Android 10/11)☆25Jul 30, 2024Updated last year
- Sources of the EuroProofNet web site.☆13Updated this week
- Ariadne: Binary Ninja Graph Analysis Plugin☆106Feb 15, 2025Updated last year
- MSIEVE: A Library for Factoring Large Integers☆16Apr 7, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 4 years ago
- BootROM dumps from misc SoCs☆65May 17, 2026Updated last month
- python to tax form compiler☆13Jun 6, 2022Updated 4 years ago
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 5 years ago
- Python program that uses the BG7 network analyser☆11Sep 30, 2023Updated 2 years ago
- Distributed QC for Qiskit☆16Jan 18, 2024Updated 2 years ago
- A Tamarin model and analysis of EMV contactless☆15Feb 16, 2021Updated 5 years ago
- ☆12Nov 2, 2022Updated 3 years ago
- Fully automated dev environment setup with dotfiles☆11Jun 8, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆15May 14, 2024Updated 2 years ago
- Plugin for binary ninja to centralize features useful in static analysis.☆15Mar 3, 2020Updated 6 years ago
- Proof-of-concept code for understanding the allow-jit entitlement on macOS☆33Feb 19, 2026Updated 3 months ago
- Scudo useful files☆10Jul 3, 2022Updated 3 years ago
- A Python library for easy and fast program transformation/repair☆15Oct 26, 2021Updated 4 years ago
- [UNMAINTAINED] Generate fortune cookies from Wikiquote☆14Oct 6, 2024Updated last year
- QEMU enhanced with OS handlers, external plugins, and rapid analysis execution engine.☆41Jun 19, 2020Updated 5 years ago
- Automated Clearing House (ACH) demo in ruby☆16Jun 5, 2026Updated last week
- The Skull CTF, A mind-bending hardware puzzle in three acts☆17Apr 1, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A simple Windows application that allows the user to pick between IDA installation for the given file.☆31Oct 11, 2025Updated 8 months ago
- Compositional Verification of Security Protocols☆34May 7, 2026Updated last month
- AI-powered reverse-engineering of Rosetta (2 for Linux). Disclaimer: due to the user agreement, I will not touch the code. All is done by…☆65Mar 14, 2026Updated 3 months ago
- PHP 8 Sandbox Escape☆87Feb 28, 2026Updated 3 months ago
- Hexagon disassembler code generator from the official instruction manual.☆13Apr 16, 2020Updated 6 years ago
- cgo wrappers around post-quantum cryptography primitives☆23Dec 3, 2018Updated 7 years ago
- ☆72Jul 8, 2021Updated 4 years ago
- An RF stack for building exfiltration systems.☆17Oct 24, 2018Updated 7 years ago
- win32json Parser for TypeLibrary creation☆12Feb 10, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Tiny Windows executable that outputs version information about the OS.☆11Feb 1, 2026Updated 4 months ago
- Quarantine bypass and RCE vulnerability in Sketch (proof-of-concept)☆12Nov 22, 2021Updated 4 years ago
- Improve safety, security, and privacy of AI systems at build, deploy and run stages.☆49Jan 27, 2026Updated 4 months ago
- PROXY protocol library with asyncio server implementation☆17Apr 27, 2024Updated 2 years ago
- LLVM Without The ROP Gadgets!☆24Jan 9, 2024Updated 2 years ago
- ETSI GS QKD 014 v1.1.1-compliant KME server implementation for Quantum Key Distribution☆28Apr 1, 2026Updated 2 months ago
- Remove WPP calls from hexrays decompiled code☆56Jan 31, 2026Updated 4 months ago