- All languages
- Astro
- Awk
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Cuda
- Cython
- Dockerfile
- EJS
- Elixir
- Elm
- Emacs Lisp
- F#
- Faust
- FreeMarker
- GCC Machine Description
- Go
- Groovy
- HTML
- Handlebars
- Haskell
- Haxe
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Less
- Liquid
- Lua
- MDX
- Makefile
- Markdown
- Meson
- Nginx
- Nix
- OCaml
- Objective-C
- OpenEdge ABL
- PHP
- Perl
- Processing
- Pug
- Python
- QML
- R
- Reason
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Stylus
- Swift
- TSQL
- TeX
- TypeScript
- Vue
Starred repositories
3
stars
written in Kotlin
Clear filter
🦄 Sourcerer app makes a visual profile from your GitHub and git repositories.
Appshark is a static taint analysis platform to scan vulnerabilities in an Android app.
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)