- All languages
- ANTLR
- ActionScript
- Agda
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CodeQL
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- DIGITAL Command Language
- Dafny
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- Fennel
- Forth
- Git Attributes
- Go
- HCL
- HTML
- Handlebars
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Logos
- Lua
- MLIR
- Makefile
- Markdown
- Max
- Nim
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- Open Policy Agent
- PHP
- Pascal
- Perl
- Pony
- PowerShell
- Propeller Spin
- Python
- Racket
- ReScript
- Reason
- RobotFramework
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Sage
- Sail
- Scala
- Scheme
- Shell
- Smarty
- Solidity
- Starlark
- Swift
- TLA
- TSQL
- Tcl
- TeX
- TypeScript
- VHDL
- Vala
- Verilog
- Vim Script
- Visual Basic
- Vue
- WebAssembly
- Wren
- YAML
- YARA
- Yacc
- Zig
- hoon
Starred repositories
Boot a real Linux kernel as an in-process library (LKL) and route intercepted syscalls to it via seccomp
Renode - Antmicro's open source simulation and virtual development framework for complex embedded systems
A headless, extendable, multi-session, IDA Pro MCP framework.
A toolset for reverse engineering and fuzzing Protobuf-based apps
This project hosts security advisories and their accompanying proof-of-concepts related to research conducted at Google which impact non-Google owned code.
The Swiss Army knife for 802.11, BLE, HID, CAN-bus, IPv4 and IPv6 networks reconnaissance and MITM attacks.
Buttercup finds and patches software vulnerabilities
vet is a command-line tool that acts as a safety net for the risky curl | bash pattern. It lets you inspect, diff against previous versions, and lint remote scripts before asking for your explicit …
CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers
Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀
In-application debugger for ARM Cortex and RISC-V processors.
The simplest, fastest repository for training/finetuning medium-sized GPTs.
A Ghidra headless analyzer tailored for Qt binary analysis
You like pytorch? You like micrograd? You love tinygrad! ❤️
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
A high-level API to control headless Chrome or Chromium over the DevTools Protocol. It is the Rust equivalent of Puppeteer, a Node library maintained by the Chrome DevTools team.
Source code of Ferrocene, safety-critical Rust toolchain
Quickly find differences and similarities in disassembled code
Exploitation techniques to bypass Clang CFI when applied to Chromium
A terminal workspace with batteries included
Command line tool to fetch, decode, brute-force and craft session cookies of a Flask application by guessing secret keys.