A subset of CTF challenges I have made over the years.
☆18Aug 4, 2022Updated 3 years ago
Alternatives and similar repositories for ctf-challs
Users that are interested in ctf-challs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An ongoing collection of java language tools and frameworks, software, libraries, learning tutorials, frameworks, academic and practical…☆22Jul 4, 2022Updated 3 years ago
- Evergrowing compilation of challenges I authored for various CTF's and my Intended solutions☆13Oct 7, 2022Updated 3 years ago
- Attack/Defense services for #ECSC2024 held in Turin, Italy from 8th to 11th October 2024☆14Oct 24, 2024Updated last year
- A tool that acts as an assistant for Reverse Engineering challenges in CTFs☆16Jan 5, 2021Updated 5 years ago
- Dummy services for an A/D CTF☆10May 25, 2023Updated 2 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.
- This project is a deliberately vulnerable environment to learn about LLM-specific risks based on the OWASP Top 10 for LLM Applications.☆52Jan 19, 2026Updated 2 months ago
- Cloak, Honey, Trap: Proactive Defenses Against LLM Agents☆19Jul 9, 2025Updated 9 months ago
- Network traffic analysis tool for Attack & Defense CTF's☆133Updated this week
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- An AI agent to use Ghidra with any AI.☆25Mar 31, 2025Updated last year
- Extract domains/subdomains/FQDNs from files and URLs☆20Jun 30, 2020Updated 5 years ago
- Generatore di rumore scimmiesco in contesto di gare A/D☆11Jul 7, 2023Updated 2 years ago
- The “ixlist” is a linked list in a vector☆12Sep 14, 2017Updated 8 years ago
- SAST + LLM Interprocedural Context Extractor☆195Oct 28, 2025Updated 5 months 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.
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- AtMail Email Server Appliance 6.4 - Exploit toolchain (XSS > CSRF > RCE)☆11Dec 8, 2022Updated 3 years ago
- Tooll for sql injections scan☆11Jul 17, 2018Updated 7 years ago
- PPC instruction tests☆11Jan 22, 2024Updated 2 years ago
- Download all malicious files from a Kippo SSH honeypot database☆23Mar 24, 2014Updated 12 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Awesome AI Agents☆22Apr 2, 2025Updated last year
- Experimental Work in Progress Nintendo 64 emulator written in Rust☆10Feb 8, 2022Updated 4 years ago
- A short and simple python crawler, that uses Webkit and executes Javascript☆16Jan 25, 2013Updated 13 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 9 years ago
- CLI enabling more autonomous black-box penetration tests using Large Language Models (LLMs)☆46Mar 31, 2026Updated 2 weeks ago
- Notes, research, and methodologies for becoming a better hacker. Knowledge should be free.☆78Mar 28, 2026Updated 2 weeks 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
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 6 months ago
- A simple interpreter featuring a tracing JIT☆16Mar 28, 2011Updated 15 years ago
- Transform your code in turing-complete ways☆13Mar 28, 2022Updated 4 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Source code for 'Software Exorcism' by Bill Blunden☆13Mar 30, 2017Updated 9 years ago
- A tool to search for gadgets, operations, and ROP chains using a backtracking algorithm in a tree-like structure☆19Jun 13, 2023Updated 2 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Feb 10, 2026Updated 2 months ago
- Very hacky Starlet emulator. Here be dragons, this was never meant to be released.☆12Nov 30, 2016Updated 9 years ago
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆12Jan 12, 2021Updated 5 years ago
- Basic utility to launch an ARM binary from the SD card of a Wii.☆15Feb 19, 2024Updated 2 years ago