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
817–840 of 1,861 · Most stars
An RxJava transformer which combines replay(1), publish(), and refCount() operators.
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
Customize Skin, Cape and Elytra in Minecraft 1.8-1.21
- java
- minecraft
- fabric
- forge
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
Custom ImageView to generate captcha image.
- captcha-image
- captcha
- custom-imageview
A Flip Digit Libray
A fully asynchronous, non-blocking, thread-safe, high-performance HBase client.
A TextView that simulates the effect from the app Secret where the characters fade in/out at different speeds.
Glide Bitmap Pool is a memory management library for reusing the bitmap memory
- glide
- bitmap
- bitmap-memory
- bitmap-pool
Slack Developer Kit (including Bolt for Java) for any JVM language
cocos2d for android, based on cocos2d-android-0.82, and now ported from cocos2d-iphone 0.99.4. The googlecode address is here: http://code.google.com/p/cocos2d-android-1/ . There are several demos to watch.
Event Sourcing and CQRS in practice.
- event-sourcing
- cqrs
- ddd
- domain-driven-design
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!
An Android demo of a foldable layout implementation. Engineered by Vincent Brison.
Fibers and actors for web development
Secondary Index for HBase
JD-Core is a JAVA decompiler written in JAVA.
A view that allows to paint and saves the result as a bitmap
imitate Tumblr's menu, dragging animations look like a snake
- menu
- snake
- viewgroup
🔐 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