Desktop app for managing BibTeX and BibLaTeX (.bib) libraries
Syncthing-Fork - A Syncthing Wrapper for Android.
The open source Solver AI for Java and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.
QuPath - Open-source bioimage analysis for research
Sakai is a freely available, feature-rich technology solution for learning, teaching, research and collaboration. Sakai is an open source software suite developed by a diverse and global adopter community.
Anserini is a Lucene toolkit for reproducible information retrieval research
Open source research data repository software
Artemis - Interactive Learning with Automated Feedback
Get started with Timefold quickstarts here. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.
Pure Java LP, QP and MIP solvers plus fast linear algebra. Zero dependencies, MIT licensed. Mathematical optimization and linear algebra for the JVM.
Tools that lower the barrier to security research on Meta's products, for vetted Meta Bug Bounty researchers. Designed to live where researchers work and to be driven by agents.
HTTP Desync research factory.
Scene (N1 Alpha8) activation-chain research: LSPosed module (legacy stubs, verdict rewrite) + scene-daemon runtime hot-patch (ptrace icache sync). MIUI + KernelSU.
End-to-end Docker lab reproducing Apache log4j2 #4255 β FilteredObjectInputStream allowlist bypass via java.rmi.MarshalledObject (unfiltered deserialization β RCE) on Log4j 2.26.1 / JDK 17.