TLC is an explicit state model checker for specifications in TLA+
Framework for Evolutionary Message-Driven Microservices on the JVM
An engine-agnostic deep learning framework in Java
A Flexible and Powerful Parameter Server for large-scale ML
Vaadin 6, 7, 8 is a Java framework for modern Java web applications
Mirror of Apache Struts
OpenBot leverages smartphones as brains for low-cost robots
Thymeleaf is a modern server-side Java template engine for web
Spring Security With JWT
Component, CA, and CCA models; superdense time, DB repo, testing, etc.
Dundalk Institute of Technology Virtual Bridge Design Competition
An EnergyPlus shell for parametric studies and more ...
Best in class SoC Integration Platform, IP-XACT, Verilog VHDL, UPF
smart and open source document management system
java bean / database driven zero code application framework
A Database System for Metamodeling and Method Engineering
A library of material components for JavaFX
Support variant based Java program execution, adapted to support MDE.
Open-source code generator for Simulink/Stateflow
Growth-grammar related Interactive Modelling Platform