angr-wrapper is a simple script to automatise and accelerate your basic use of angr (to solve CTF challenges for example)
☆13Dec 18, 2021Updated 4 years ago
Alternatives and similar repositories for angr-wrapper
Users that are interested in angr-wrapper are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Archive des épreuves du FCSC 2022 en attendant une version officielle de l'ANSSI☆10Jun 11, 2022Updated 4 years ago
- gdb cheat sheet☆25Dec 22, 2020Updated 5 years ago
- A utility for automating the testing and re-signing of Express.js cookie secrets.☆61Dec 10, 2022Updated 3 years ago
- Cheat sheet of binary protections flags☆24Sep 6, 2020Updated 6 years ago
- Surcouche française à MySQL☆12Dec 9, 2020Updated 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.
- Some 2D/3D math I tend to reuse across projects.☆13Aug 20, 2019Updated 7 years ago
- The UBI Forensic Toolkit (UBIFT) is a Python command-line interface tool that aims to provide various functionalities to assist an IT for…☆17Feb 18, 2024Updated 2 years ago
- Le Pays du 42 vous apprend à programmer rapidement et sans détours☆11Jan 26, 2016Updated 10 years ago
- implementation of ideas from 'Neutaint: Efficient Dynamic Taint Analysis with Neural Networks'☆14Sep 17, 2019Updated 7 years ago
- A rust crate to use stack-allocated vectors (to improve performance and/or when there is no std)☆12Feb 16, 2019Updated 7 years ago
- Displays HDF5 files in VS code☆11Dec 20, 2022Updated 3 years ago
- ☆10Aug 4, 2025Updated last year
- This tool helps #blueteams detect bad actors who may be port scanning the network, and allows #redteams to practice honeypot evasion.☆11Oct 20, 2020Updated 6 years ago
- Digging into private data through Sonarcloud public projects☆11Sep 13, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 9 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 6 years ago
- 🎨 Drawing images with lambda calculus☆12Aug 27, 2026Updated 2 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- The widgets for discord guilds☆11Jun 17, 2017Updated 9 years ago
- Very hacky Starlet emulator. Here be dragons, this was never meant to be released.☆12Nov 30, 2016Updated 9 years ago
- Disassembly of the game.com boot ROM☆13Dec 10, 2020Updated 5 years ago
- ☆11Mar 27, 2026Updated 7 months ago
- ☆12Jan 2, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Framework for defining and using monads in Chez Scheme☆11Aug 16, 2012Updated 14 years ago
- A modern, principled toy implementation of dependent type theory☆12Mar 5, 2026Updated 8 months ago
- ☆13Mar 4, 2021Updated 5 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- Statement on Codegate Qualifiers 2023☆11Jun 19, 2023Updated 3 years ago
- typed/racket + effect system☆11Aug 31, 2025Updated last year
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Sep 17, 2026Updated last month
- Tool written in Rust to enumerate the valid email addresses of an Azure/Office 365 Tenant☆15Feb 29, 2024Updated 2 years ago
- This website is used to automatically scan files during CTF.☆14May 31, 2023Updated 3 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.
- Dependently typed lambda calculus - A Simple Proof Assistant☆13Sep 3, 2020Updated 6 years ago
- 100% Broadway compliant PowerPC Assembler completely handwritten in PowerPC☆16Mar 25, 2024Updated 2 years ago
- PWV Functional Language☆17Oct 30, 2023Updated 3 years ago
- A simple vim plugin for displaying texts of an excel file.☆13Oct 10, 2014Updated 12 years ago
- Formalising Turing Machines In Coq (bachelor's thesis)☆12Jul 5, 2023Updated 3 years ago
- Volatility plugins☆12Feb 19, 2015Updated 11 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago