Stars
DvonHolten / HikariCP
Forked from brettwooldridge/HikariCP光 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.
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
conp-solutions / mergesat
Forked from niklasso/minisatconfigurable, 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…
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
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