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
A code-searching tool similar to ack, but faster.
TCP port scanner, spews SYN packets asynchronously, scanning entire Internet in under 5 minutes.
UNIX-like reverse engineering framework and command-line toolset
AddressSanitizer, ThreadSanitizer, MemorySanitizer
xoreaxeaxeax / movfuscator
Forked from Battelle/movfuscatorThe single instruction C compiler
A repository for learning various heap exploitation techniques.
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
canonical libwebsockets.org networking library
Applicative Protocol Multiplexer (e.g. share SSH and HTTPS on the same port)
The official git repository for Contiki, the open source OS for the Internet of Things
Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)
Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate …
Io programming language. Inspired by Self, Smalltalk and LISP.
Linux Test Project (mailing list: https://lists.linux.it/listinfo/ltp)
Source code of a multiple series of tutorials about the hypervisor. Available at: https://rayanfam.com/tutorials