Suite of tools for deploying and training deep learning models using the JVM. Highlights include model import for keras, tensorflow, and onnx/pytorch, a modular and tiny c++ library for running math code and a java based math library on top of the core c++ library. Also includes samediff: a pytorch/tensorflow like library for running deep learn...
Apache KIE (Knowledge Is Everything) is the home of Drools, OptaPlanner, jBPM, and Kogito.
- rule-engine
- java
- dmn
- hacktoberfest
Desktop app for managing BibTeX and BibLaTeX (.bib) libraries
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
- tla
- specifications
- model-checking
- verification
The JTS Topology Suite is a Java library for creating and manipulating vector geometry.
- jts-topology-suite
- jts
- geometry
- geometry-algorithms
The open source Solver AI for Java and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.
jsprit is a java based, open source toolkit for solving rich vehicle routing problems
Java Constraint Programming solver
The Mines Java Toolkit
The framework for quantification of neuronal anatomy
Tool for precise, interactive, fast and scalable FISH spot detection
Java Scientific Computing Library - Signal Processing, FFT, Filters, PSD, DCT, SciPy-like APIs for JVM & Android used in Machine Learning and Data Science.
Astronomical FITS image analysis tool for detecting asteroids, comets, satellites, moving objects, and transients in astrophotography data.
- astronomy
- astronomy-software
- astrophotography
- moving-object-detection