-
-
clique-cover Public
Forked from falk-hueffner/clique-coverSolve the Clique Cover problem.
OCaml GNU General Public License v2.0 UpdatedJul 27, 2025 -
Redu3ECC Public
Forked from darrenstrash/Redu3ECCSolving ECC with VCC
C++ MIT License UpdatedJun 27, 2025 -
bob Public
Forked from spupyrev/bobBOB - A SAT-based solver for linear layouts of graphs
C++ MIT License UpdatedJun 19, 2025 -
breakid Public
Forked from meelgroup/breakidBreakID, a CNF symmetry-breaking library and tool
C++ Other UpdatedJun 18, 2025 -
ROPgadget Public
Forked from JonathanSalwan/ROPgadgetThis tool lets you search your gadgets on your binaries to facilitate your ROP exploitation. ROPgadget supports ELF, PE and Mach-O format on x86, x64, ARM, ARM64, PowerPC, SPARC, MIPS, RISC-V 64, a…
Python Other UpdatedMay 30, 2025 -
www Public
Forked from kitctf/wwwThis repository holds the source code for https://kitctf.de/.
HTML UpdatedMay 20, 2025 -
-
wooz Public
Forked from negrel/wooz🔍 A zoom / magnifier utility for wayland compositors.
C MIT License UpdatedMar 31, 2025 -
-
hkautosplit Public archive
Hollow Knight autosplitter for Linux
-
splr Public
Forked from shnarazk/splrA modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
Rust Other UpdatedDec 23, 2024 -
-
Build tool for Arch Linux providing control, review and jailed build options
Rust GNU General Public License v3.0 UpdatedAug 25, 2024 -
helix Public
Forked from helix-editor/helixA post-modern modal text editor.
Rust Mozilla Public License 2.0 UpdatedAug 25, 2024 -
pwndbg Public
Forked from pwndbg/pwndbgExploit Development and Reverse Engineering with GDB Made Easy
Python MIT License UpdatedAug 13, 2024 -
neovim Public
Forked from neovim/neovimVim-fork focused on extensibility and usability
Vim Script Other UpdatedJun 3, 2024 -
tinyxxd Public
Forked from xyproto/tinyxxdStandalone version (and drop-in replacement) of the hex dump utility that comes with ViM
C GNU General Public License v2.0 UpdatedMay 19, 2024 -
The official Vim repository
Vim Script Vim License UpdatedMay 10, 2024 -
bemenu Public
Forked from Cloudef/bemenuDynamic menu library and client program inspired by dmenu
C GNU General Public License v3.0 UpdatedApr 30, 2024 -
radius2 Public
Forked from aemmitt-ns/radius2radius2 is a fast binary emulation and symbolic execution framework using radare2
Rust MIT License UpdatedApr 29, 2024 -
A powerful and user-friendly binary analysis platform!
Python BSD 2-Clause "Simplified" License UpdatedApr 28, 2024 -
pwntools Public
Forked from Gallopsled/pwntoolsCTF framework and exploit development library
Python Other UpdatedJan 2, 2024 -
GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Linux
Python MIT License UpdatedDec 30, 2023 -
complgen Public
Forked from adaszko/complgenGenerate {bash,fish,zsh} completions from a single EBNF-like grammar
Rust Apache License 2.0 UpdatedOct 31, 2023 -
Hyprland Public
Forked from hyprwm/HyprlandHyprland is a highly customizable dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
C++ BSD 3-Clause "New" or "Revised" License UpdatedOct 9, 2023 -
hydraprime Public
Forked from TheoryInPractice/hydraprimeTwinwidth Solver for 2023 PACE Challenge
C++ Apache License 2.0 UpdatedOct 7, 2023 -
CommonsChecker4OSM Public
Finds OpenStreetMap elements tagged with non-existent wikimedia_commons categories
-
smallweb Public
Forked from kagisearch/smallwebKagi Small Web
HTML MIT License UpdatedSep 10, 2023 -
Overpass-API Public
Forked from drolbr/Overpass-APIA database engine to query the OpenStreetMap data.
C++ GNU Affero General Public License v3.0 UpdatedAug 10, 2023
{{ message }}