Lists (16)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- ASP
- ActionScript
- Ada
- Assembly
- Batchfile
- Bicep
- Bikeshed
- Bluespec
- Boogie
- C
- C#
- C++
- CSS
- Chapel
- Common Lisp
- Component Pascal
- Coq
- Cuda
- D
- Dart
- Dockerfile
- Emacs Lisp
- Flix
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- M
- M4
- MLIR
- Makefile
- Markdown
- Modula-2
- Mojo
- Nim
- Nix
- OCaml
- Objective-C
- PHP
- POV-Ray SDL
- Pascal
- Perl
- PostScript
- PowerShell
- Processing
- Python
- R
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SMT
- Sail
- SaltStack
- Scala
- Scheme
- Shell
- Smali
- Smalltalk
- Swift
- SystemVerilog
- Tcl
- TeX
- TypeScript
- V
- VHDL
- Verilog
- XSLT
- Zig
Starred repositories
Ghidra is a software reverse engineering (SRE) framework
Netty project - an event-driven asynchronous network application framework
GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
A Java 8+ Jar & Android APK Reverse Engineering Suite (Decompiler, Editor, Debugger & More)
CoreNLP: A Java suite of core NLP tools for tokenization, sentence segmentation, NER, parsing, coreference, sentiment analysis, etc.
A full-featured package manager and viewer for Android
the fastest and most powerful android decompiler(native tool working without Java VM) for the APK, DEX, ODEX, OAT, JAR, AAR, and CLASS file. which supports malicious behavior detection, privacy lea…
Jitsi is an audio/video and chat communicator that supports protocols such as SIP, XMPP/Jabber, IRC and many other useful features.
Decompiler from Java bytecode to Java, used in IntelliJ IDEA.
SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
Unofficial, FOSS-friendly fork of the original Telegram client for Android
Cross-platform framework for building truly native mobile apps with Java or Kotlin. Write Once Run Anywhere support for iOS, Android, Desktop & Web.
BinAbsInspector: Vulnerability Scanner for Binaries
Automated testing to find logic and performance bugs in database systems
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…
RARS -- RISC-V Assembler and Runtime Simulator
Conscrypt is a Java Security Provider that implements parts of the Java Cryptography Extension and Java Secure Socket Extension.
☕ SonarSource Static Analyzer for Java Code Quality and Security
SonarQube C++ Community plugin (cxx plugin): This plugin adds C++ support to SonarQube with the focus on integration of existing C++ tools.
Offline speech recognition for Android with Vosk library.
Processing mode and core library to create Android apps with Processing