Stars
- All languages
- ANTLR
- Assembly
- Batchfile
- BibTeX Style
- BlitzBasic
- C
- C#
- C++
- CSS
- Clojure
- CodeQL
- Common Lisp
- Coq
- D
- Dhall
- Dockerfile
- Emacs Lisp
- F*
- Fluent
- Forth
- Frege
- Go
- Groff
- HTML
- Handlebars
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Makefile
- Mustache
- Nim
- Nunjucks
- OCaml
- Objective-C
- PHP
- Perl
- PostScript
- Python
- RPM Spec
- Rocq Prover
- Roff
- Ruby
- Rust
- Scala
- Shell
- SmPL
- Smarty
- Solidity
- SystemVerilog
- TLA
- TeX
- TypeScript
- VCL
- Vim Script
- Vue
- Zig
- reStructuredText
The new Windows Terminal and the original Windows console host, all in the same place!
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.
Scalable, Portable and Distributed Gradient Boosting (GBDT, GBRT or GBM) Library, for Python, R, Java, Scala, C++ and more. Runs on single machine, Hadoop, Spark, Dask, Flink and DataFlow
Public malware techniques used in the wild: Virtual Machine, Emulation, Debuggers, Sandbox detection.
Google SafetyNet attestation workarounds for Magisk
LIEF - Library to Instrument Executable Formats (C++, Python, Rust)
A tool for use with clang to analyze #includes in C and C++ source files
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
🔍 ugrep 7.5 file pattern searcher -- a user-friendly, faster, more capable grep replacement. Includes a TUI, Google-like Boolean search with AND/OR/NOT, fuzzy search, hexdumps, searches (nested) ar…
A cross platform C99 library to get cpu features at runtime.
Interactively grep source code. Source for http://livegrep.com/
Proof-of-concept codes created as part of security research done by Google Security Team.
A client/server indexer for c/c++/objc[++] with integration for Emacs based on clang.
Guaranteed compile-time string literal obfuscation header-only library for C++14
Power On and Off WebOS LG TVs together with your PC
A minimalistic and high-performance SAT solver
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
SSH/HTTP(S) multiplexer. Run a webserver and a sshd on the same port w/o changes.
SymCC: efficient compiler-based symbolic execution
Tool to convert Android sparse images to raw images