Stars
Termux - a terminal emulator application for Android OS extendible by variety of packages.
OpenRefine is a free, open source power tool for working with messy data and improving it
Customizable and privacy-conscious open-source keyboard
OpenKeychain is an OpenPGP implementation for Android.
A monotone line-based icon pack for android
Customizable, privacy‑first, open-source clock app inspired by AOSP Clock
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastruc…
This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for O…
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.
Forked from https://code.briarproject.org/briar/briar.git