Mutation analysis tool for Coq verification projects
- coq
- mutation-analysis
- serapi
Repository Index
47,133 repositories indexed
1,753–1,776 of 2,135 · Most stars
Everything related to modding 1.9/1.10 snapshots in one place
Lightweight and lightning fast Java WebDriver client for test automation professionals
The repository host gives no description.
JUnit extension for easy and efficient testing of CDI components
- java
- cdi
- junit
- javaee8
new Db4o GPL Source Code for Java7+ & .netstardard2.0 Android Xamarin..., the best database project to help you to learn how to make databases
- oodb
- db4o
- database
- java
GTFSVTOR - Fast GTFS validator
Simple partial application for FuncN and ActionN on RxJava [STABLE]
Adapter for a dropwizard appication (v0.8) so that it can be deployed as a war on a servlet 3 container
Gameanalytics.com client implementation for libGDX
Plugins for bone image analysis
- fiji-plugin
- image-analysis
- image-processing
- imagej-plugins
A CirclerTimer with Animation and Timer
- circletimer
- android
- library
- java
Gatherers library for Java Stream API
- java
- streams-api
- gatherer
- gatherers
Make Java source layout deterministic: reorder class members safely, keep accessors together, format java-source, and enforce style in CI.
- java
- java-code-audit
- java-code-formatter
- java-code-quality
Faster-Groovy-Templates module for Play! Framework 1.2.x
Utilities for HDR Histogram logs manipulation
An access log implementation to be used in vert web routes - inspired by apache / tomcat access log configuration
Public repository for the IEEE CIG text adventurer competition.
Capacitor plugin to upload file in native layer
Develop streaming applications for IBM Streams in Python, Java & Scala.
- ibm-streams
- java
- scala
- python
Native Java API to work with JavaScript Node Package Manager (NPM): query, retrieve, pack into jar (webjars), CDN, maven
Java library for the Siren Hypermedia Type Specification
S3 Blobs module for Play!, based on https://github.com/jamesward/plays3upload
Pure Data extension for LibGDX