Highlights
- All languages
- Ada
- Assembly
- Bikeshed
- C
- C#
- C++
- CSS
- CodeQL
- CoffeeScript
- Crystal
- Dart
- Dockerfile
- Go
- HCL
- HTML
- Hack
- Handlebars
- Haskell
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- LLVM
- Nix
- OCaml
- Objective-C
- PHP
- PowerShell
- Python
- Rocq Prover
- Roff
- Ruby
- Rust
- Scala
- Scilab
- Shell
- Smarty
- Starlark
- Swift
- TeX
- TypeScript
- Vue
- WebAssembly
- XSLT
- YARA
Starred repositories
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
A markup-based typesetting system that is powerful and easy to learn.
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
Cross-platform Rust rewrite of the GNU coreutils
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
🥧 Savoury implementation of the QUIC transport protocol and HTTP/3
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…
cwe_checker finds vulnerable patterns in binary executables
Stop half-done APIs! Cherrybomb is a CLI tool that helps you avoid undefined user behaviour by auditing your API specifications, validating them and running API security tests.
Hex diff viewer using alignment algorithms from biology
An ergonomic and safe syscall interception framework for Linux.
☠️ Common Security Exploits and Protections on Solana
BoringSSL bindings for the Rust programming language.
Analyze HTTP requests to minimize risks of HTTP Desync attacks (precursor for HTTP request smuggling/splitting).
Generative and mutative fuzzer for Kubernetes admission controller chains by automatically parsing the cluster api specification.
Verifying constant-time code with symbolic execution
fundamental traits to describe an architecture in the yaxpeax project