LLM powered fuzzing via OSS-Fuzz.

光 HikariCP・A solid, high-performance, JDBC connection pool at last.

光 HikariCP・A solid, high-performance, JDBC connection pool at last.

A QUIC client, client library and server implementation in Java. Supports HTTP3 with "Flupke" add-on.

Java runtime metadata analysis

Espresso heuristic logic minimizer made C++20 Windows 10 compatible - University of California, Berkeley

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

The Glucose SAT solver from https://www.labri.fr/perso/lsimon/research/glucose/#glucose-4.2.1

configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)

Eclipse OpenJ9: A Java Virtual Machine for OpenJDK that's optimized for small footprint, fast start-up, and high throughput. Builds on Eclipse OMR (https://github.com/eclipse/omr) and combines with…

fork of the popular jsch library

Custom decorated JFrame with default windows standard behavior

An in memory implementation of a JSR-203 file system

SubEtha SMTP is a Java library for receiving SMTP mail

Graphics2D implementations to export various vector file formats

XChart is a light-weight Java library for plotting data.

Automatically exported from code.google.com/p/type-inference

A new version of Soot with a completely overhauled architecture

llama3 implementation one matrix multiplication at a time

Java version of LangChain

High performance SWT data grid

State of the art mutation testing system for the JVM

A powerful and user-friendly binary analysis platform!

Demo Application for my Talk "Single-Page-Application oder HTMX"

Slides for Developing Secure Software in 2024 at CanSecWest

A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research