Repository Index

Desktop app for managing BibTeX and BibLaTeX (.bib) libraries

• jabref
• bibtex
• java
• latex

Model-rocketry aerodynamics and trajectory simulation software

• aerospace
• flight-simulator
• java
• modeling

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

• tla
• specifications
• model-checking
• verification

A Material Design Weather Application

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.

• ai
• artificial-intelligence
• cvrp
• employee-scheduling

Immutable in-memory R-tree and R*-tree implementations in Java with reactive api

Advanced date, time and interval library for Java with sun/moon-astronomy and calendars like Chinese, Coptic, Ethiopian, French Republican, Hebrew, Hijri, Historic Christian, Indian National, Japanese, Julian, Korean, Minguo, Persian, Thai, Vietnamese

• java
• time4j
• calendar
• interval

The Next Generation Logic Library

Chemical 2D structure editor application/applet based on the Chemistry Development Kit

• blueobelisk
• java
• chemistry

The Mines Java Toolkit

• geophysics
• scientific-computing
• visualization
• mines-java-toolkit

Fast detection of repackaged Android applications based on the comparison of resource files included into the package.

• android
• android-security
• repackaging-detection
• java

The framework for quantification of neuronal anatomy

• neuroscience
• neuroanatomy-toolbox
• imagej
• imagej2

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.

• android
• java
• python
• scipy

Astronomical FITS image analysis tool for detecting asteroids, comets, satellites, moving objects, and transients in astrophotography data.

• astronomy
• astronomy-software
• astrophotography
• moving-object-detection