Ordoviz

Computer science student

Germany

Pinned Repositories

CommonsChecker4OSM
Finds OpenStreetMap elements tagged with non-existent wikimedia_commons categories
Language:C++1 1 00
gcc_scanf_checker
simple GCC plugin
Language:C++00
hkautosplit
Hollow Knight autosplitter for Linux
Language:Python5 2 20
markdown-shellcheck
Linter for shell code blocks in Markdown
Language:Awk0 1 01
mediawiki.kak
MediaWiki syntax highlighting for Kakoune
2 2 00
palette.kak
Color preview for Kakoune
Language:KakouneScript1 1 00
svg-grid
Simple script to convert CSV file into SVG grid
Language:Python0 1 00
tree-sitter-mediawiki
Wikitext "parser"
Language:C2 1 00

Ordoviz's Repositories

Ordoviz/hkautosplit
Hollow Knight autosplitter for Linux
Language:Python5 2 20
Ordoviz/CommonsChecker4OSM
Finds OpenStreetMap elements tagged with non-existent wikimedia_commons categories
Language:C++1 1 00
Ordoviz/gcc_scanf_checker
simple GCC plugin
Language:C++00
Ordoviz/angr
A powerful and user-friendly binary analysis platform!
Language:Python0 0
Ordoviz/bemenu
Dynamic menu library and client program inspired by dmenu
Language:C0 0
Ordoviz/bob
BOB - A SAT-based solver for linear layouts of graphs
Ordoviz/breakid
BreakID, a CNF symmetry-breaking library and tool
Ordoviz/clique-cover
Solve the Clique Cover problem.
Ordoviz/complgen
Generate {bash,fish,zsh} completions from a single EBNF-like grammar
Language:Rust0 0
Ordoviz/gef
GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Linux
Language:Python0 0
Ordoviz/helix
A post-modern modal text editor.
Language:Rust0 0
Ordoviz/hydraprime
Twinwidth Solver for 2023 PACE Challenge
Ordoviz/Hyprland
Hyprland is a highly customizable dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
Language:C++0 0
Ordoviz/key-project-aur
Ordoviz/MathBases
Ordoviz/neovim
Vim-fork focused on extensibility and usability
Language:Vim Script0 0
Ordoviz/Overpass-API
A database engine to query the OpenStreetMap data.
Language:C++0 0
Ordoviz/pwndbg
Exploit Development and Reverse Engineering with GDB Made Easy
Language:Python0 0
Ordoviz/pwntools
CTF framework and exploit development library
Language:Python0 0
Ordoviz/radius2
radius2 is a fast binary emulation and symbolic execution framework using radare2
Language:Rust0 0
Ordoviz/Redu3ECC
Solving ECC with VCC
Ordoviz/ROPgadget
This 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, and RISC-V Compressed architectures.
Ordoviz/rua
Build tool for Arch Linux providing control, review and jailed build options
Language:Rust0 0
Ordoviz/sage
Main repository of SageMath
Language:Python
Ordoviz/smallweb
Kagi Small Web
Language:HTML0 0
Ordoviz/splr
A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
Language:Rust0 0
Ordoviz/tinyxxd
Standalone version (and drop-in replacement) of the hex dump utility that comes with ViM
Ordoviz/vim
The official Vim repository
Language:Vim Script
Ordoviz/wooz
🔍 A zoom / magnifier utility for wayland compositors.
Language:C
Ordoviz/www
This repository holds the source code for https://kitctf.de/.
Language:HTML0 0