JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
Repository Index
47,133 repositories indexed
289–312 of 575 · Most stars
A scientific charting library focused on performance optimised real-time data visualisation at 25 Hz update rates for data sets with a few 10 thousand up to 5 million data points.
- chart-fx
- java
- charting-libraries
- javafx
The Chemistry Development Kit
- code4lib
- chemistry
- java
- cheminformatics
A complete and open application for automatic backing tracks generation.
- music
- music-library
- music-generation
- music-composition
A Flip Digit Libray
Glide Bitmap Pool is a memory management library for reusing the bitmap memory
- glide
- bitmap
- bitmap-memory
- bitmap-pool
A distributed system designed to ingest and process time series data
:1st_place_medal: Java SDK to use the IBM Watson services.
- ibm-watson-services
- bluemix
- java
- gradle
AndroidKickstartR helps you to quickly create a well configured Android application using the most popular libraries. It creates and configures your project for you. Just focus on code!
Fibers and actors for web development
🔐 An SSL library for configuring http client or server. Rich with features such as hot reloading ssl and trusting additional certificates during runtime, combining multiple keystores, loading pem files and os/jdk certificates, logging certificate information during ssl handshake, bypassing ssl configuration from other libraries and more
Automon combines the power of AOP (AspectJ) with monitoring or logging tools you already use to declaratively trace and monitor your Java code, the JDK, and 3rd party libraries.
- aspectj
- monitoring
- java
- performance
A low-level integer compression library in Java
- java
- compression
A flexible, partial, out-of-order and real-time typeahead search library
Distributed database specialized in exporting key/value data from Hadoop
Official mirror for interface definitions and helper classes for Java code running on the AWS Lambda platform.
An extendible and configurable PDF manipulation layer library written in java.
Java library to analyse Portable Executable files with a special focus on malware analysis and PE malformation robustness
PipelinR is a lightweight command processing pipeline ❍ ⇢ ❍ ⇢ ❍ for your Java awesome app.
- java
- architecture
- service-layer
- pipes-and-filters
The New Official Aparapi: a framework for executing native Java and Scala code on the GPU.
- aparapi
- gpu
- opencl
- java
CogComp's Natural Language Processing Libraries and Demos: Modules include lemmatizer, ner, pos, prep-srl, quantifier, question type, relation-extraction, similarity, temporal normalizer, tokenizer, transliteration, verb-sense, and more.
- natural-language-processing
- nlp
- big-data
- data-mining
Language-agnostic pretty-printing through machine learning (uh, like, is this possible? YES, apparently).
Create skins for LibGDX scene2d.ui with a graphical interface.
(simple) Java Slack client library