Highlights
- Pro
Lists (15)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- ASL
- Assembly
- Astro
- AutoIt
- Batchfile
- Blade
- C
- C#
- C++
- CMake
- CSS
- CodeQL
- Cuda
- Dockerfile
- Elixir
- F#
- F*
- Go
- HCL
- HTML
- Haskell
- HolyC
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Just
- Kotlin
- LLVM
- Logos
- Lua
- Makefile
- Markdown
- NSIS
- OCaml
- Objective-C
- PHP
- Pascal
- PowerShell
- Python
- QMake
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Shell
- Solidity
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- VBScript
- Verilog
- XSLT
- Zig
Starred repositories
Copy Fail (CVE-2026-31431): 9-year-old Linux kernel LPE found by Theori's Xint Code
Multiplatform MEMORY.DMP analysis tool with a WinDbg flavor
An analysis and static deobfuscation of codedefender.io protected samples.
A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.
Codex Ghidra reverse engineering skill with headless workflows, bug-hunting bundles, and a live bridge for Apple Mach-O analysis.
PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components
Plugin for IDA Pro disassembler which allows loading .map files.
Coefficient-Based Reconstruction of Arithmetic — a Mixed Boolean-Arithmetic (MBA) expression simplifier for deobfuscation
Memory protected microkernel realtime operating system for microcontrollers without MMU.
⌥ AI Coding agent for the terminal — hash-anchored edits, optimized tool harness, LSP, Python, browser, subagents, and more
Algorithm powering the For You feed on X
Using the peculiar behaviour of the VPGATHER instructions to determine if an address will fault before it is truly accessed. All done in user-mode.
A lightweight separation kernel designed specifically for adaptability, real-time computing, and mixed-criticality workloads
egui library for displaying control flow graphs using petgraph, and rust sugiyama.
Windows kernel driver that detects hypervisors by probing SIDT/LIDT edge cases, paging/TLB behaviors, privilege transitions, and timing executed inside a controlled safety-net environment.
rottaj / obfuscator-llvm
Forked from eshard/obfuscator-llvmSome fixes to eShard's LLVM obfuscator to support LLVM 19 and updated README for Windows installment.
Provides LLVM binary packages for an (almost) complete Windows build matrix. Built and packaged on GitHub Actions.
PostgreSQL extension for BM25 relevance-ranked full-text search. Postgres OSS licensed.
Specification and documentation for Agent Skills
cs2-analysis / bindiff
Forked from google/bindiffQuickly find differences and similarities in disassembled code




