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
- Attack/Defense services for the CyberChallenge.IT 2024 National Competition @ Turin, Italy☆13Jul 18, 2024Updated last year
- 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
- https://arxiv.org/abs/2412.02776☆69Dec 5, 2024Updated last year
- 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.
- Scan for AirTag MACs and Payloads without the need for an Android device or nrfConnect.☆17Oct 13, 2025Updated 6 months ago
- A tool that acts as an assistant for Reverse Engineering challenges in CTFs☆16Jan 5, 2021Updated 5 years ago
- ebpf covert channel rootkit☆15Feb 6, 2024Updated 2 years ago
- Dummy services for an A/D CTF☆10May 25, 2023Updated 2 years ago
- Network traffic analysis tool for Attack & Defense CTF's☆134Updated this week
- 🗃 Check the status of multiple git repositories in a folder☆12Feb 19, 2023Updated 3 years ago
- Cloak, Honey, Trap: Proactive Defenses Against LLM Agents☆22Jul 9, 2025Updated 9 months ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- All PWN-oriented (X-DEV/RE) CTFs from http://CTFTIME.org (organized in an excel sheet) 2016-2022 CTFs☆10Nov 21, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An AI agent to use Ghidra with any AI.☆27Mar 31, 2025Updated last year
- Extract domains/subdomains/FQDNs from files and URLs☆20Jun 30, 2020Updated 5 years ago
- ☆18May 19, 2024Updated last year
- The “ixlist” is a linked list in a vector☆12Sep 14, 2017Updated 8 years ago
- Web application to visualize GreyNoise API data☆21Dec 4, 2018Updated 7 years ago
- Disassembly of the game.com boot ROM☆13Dec 10, 2020Updated 5 years ago
- 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
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- 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.
- Download all malicious files from a Kippo SSH honeypot database☆23Mar 24, 2014Updated 12 years ago
- Linearizability Hoare Logic☆17Apr 24, 2026Updated last week
- Awesome AI Agents☆23Apr 2, 2025Updated last year
- Experimental Work in Progress Nintendo 64 emulator written in Rust☆10Feb 8, 2022Updated 4 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- 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)☆51Updated this week
- A short and simple python crawler, that uses Webkit and executes Javascript☆16Jan 25, 2013Updated 13 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
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 7 months ago
- A simple interpreter featuring a tracing JIT☆16Mar 28, 2011Updated 15 years ago
- Source code for 'Software Exorcism' by Bill Blunden☆13Mar 30, 2017Updated 9 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Feb 10, 2026Updated 2 months 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
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆12Jan 12, 2021Updated 5 years ago