The official repo of Doop, the declarative pointer analysis framework.

CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

A collection of resources for learning type theory and type theory adjacent fields.

Algorithms and Applications for Provable Repair of Deep Neural Networks.

The Java open source content management system by Alkacon Software

Web performance measurement toolkit

Support for adding OAuth1(a) and OAuth2 features (consumer and provider) for Spring web applications.

Apache CXF

Apache Commons Compress

Apache Commons Configuration

ESAPI (The OWASP Enterprise Security API) is a free, open source, web application security control library that makes it easier for programmers to write lower-risk applications.

Mirror of Apache Struts

更实用的Java开发的社区(论坛)，Better use of Java development community (forum)

Community Content Service Repository

Probably the sharpest git repository organizer & rebase/merge workflow automation tool you've ever seen

Easy to use, very low overhead, Java APM

Micronaut Application Framework

Pluggable type-checking for Java

Spring Data Commons. Interfaces and code shared between the various datastore specific implementations.

Taint checker with stub

DAI: Demanded Abstract Interpretation

Simplifies building hypermedia-driven REST web services on top of Spring Data repositories

jsoup: the Java HTML parser, built for HTML editing, cleaning, scraping, and XSS safety.

Jenkins automation server