Block or Report
Block or report BCoskun
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify concurrent systems.
KIE (Drools, OptaPlanner and jBPM)
kiegroup
Code of the Drools rule engine, OptaPlanner constraint solver and jBPM workflow engine.