- Pittsburgh, PA
- https://aoli.al
Stars
- All languages
- ANTLR
- Agda
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Cuda
- Dockerfile
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Just
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- Markdown
- Meson
- Nix
- OCaml
- Objective-C
- PHP
- Perl
- PowerShell
- Python
- QML
- R
- Racket
- Reason
- Ruby
- Rust
- SMT
- Scala
- Shell
- Solidity
- Standard ML
- Svelte
- Swift
- Tcl
- TeX
- TypeScript
- Typst
- Vim Script
- Vue
- Zig
GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
Implementation of ImageView for Android that supports zooming, by various touch gestures.
Stetho is a debug bridge for Android applications, enabling the powerful Chrome Developer Tools and much more.
A free, secure and open source app for Android to manage your 2-step verification tokens.
OpenRefine is a free, open source power tool for working with messy data and improving it
Android filters based on OpenGL (idea from GPUImage for iOS)
Runtime code generation for the Java virtual machine.
A Java to iOS Objective-C translation tool and runtime.
An enhanced Guava-based event bus with emphasis on Android support.
📸 A well documented, high-level Android interface that makes capturing pictures and videos easy, addressing all of the common issues and needs. Real-time filters, gestures, watermarks, frame proces…
Awaitility is a small Java DSL for synchronizing asynchronous operations
SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
The official Java SDK for Model Context Protocol servers and clients. Maintained in collaboration with Spring AI
An uber-fast parallelized Java classpath scanner and module scanner.
Java unlimited redefinition of classes at runtime.
Spoon is a metaprogramming library to analyze and transform Java source code. 🥄 is made with ❤️, 🍻 and ✨. It parses source files to build a well-designed AST with powerful analysis and transformati…
State of the art mutation testing system for the JVM
Automated testing to find logic and performance bugs in database systems
Open source Java implementation for Raft consensus protocol.
Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely …
FlowDroid Static Data Flow Tracker
Coverage-guided, in-process fuzzing for the JVM