Open Source Identity and Access Management For Modern Applications and Services

Event Driven Orchestration & Scheduling Platform for Mission Critical Applications

Access your entire server infrastructure from your local desktop

🔎 Open source distributed and RESTful search engine.

Change data capture for a variety of databases. Please log issues at https://github.com/debezium/dbz/issues.

OWASP dependency-check is a software composition analysis utility that detects publicly disclosed vulnerabilities in application dependencies.

Allure Report is a flexible, lightweight multi-language test reporting tool. It provides clear graphical reports and allows everyone involved in the development process to extract the maximum of in…

AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.

Broadleaf Commerce CE - an eCommerce framework based on Java and Spring

Import YAML/JSON-formatted configuration files into Keycloak - Configuration as Code for Keycloak.

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…

An open-source Java library for Constraint Programming

A Keycloak authenticator to restrict authorization on clients

An example project for Keycloak Customizations

The Ultimate program analysis framework.

JavaSMT - Unified Java API for SMT solvers.

An example for building custom keycloak protocol mappers

AntlrVSIX is a language server for use with Visual Studio 2019, Visual Studio Code, and Gnu Emacs to support Antlr, Bison, and W3C EBNF grammars. In addition to the IDE extensions provided here, a …

SMTInterpol interpolating SMT solver

IntelliJ support for the CUE language.

A BSON implementation of RFC 6902 to compute the difference between two BSON documents

Eclipse-based IDE for product modeling for the SAP Variant Configurator