- All languages
- Assembly
- AutoHotkey
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- CodeQL
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cython
- Dart
- Dockerfile
- EJS
- F#
- Faust
- Go
- HTML
- Haskell
- Inno Setup
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Kaitai Struct
- Kotlin
- LLVM
- Lua
- Makefile
- Max
- Nim
- OCaml
- Objective-C
- PHP
- PLpgSQL
- POV-Ray SDL
- Pascal
- Perl
- PowerShell
- Python
- Racket
- Rich Text Format
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Shell
- Slash
- Svelte
- SystemVerilog
- Tcl
- TeX
- TypeScript
- V
- VBA
- VBScript
- VHDL
- Verilog
- Visual Basic
- Visual Basic 6.0
- YARA
- Zig
Starred repositories
5
stars
written in Kotlin
Clear filter
Lua IDE/Debugger Plugin for IntelliJ IDEA
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
A randomized program fuzzer for the Rust programming language