Mutation analysis tool for Coq verification projects
- coq
- mutation-analysis
- serapi
Repository Index
77,353 visible repositories in the index
1,009–1,032 of 1,136 · Most stars
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
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
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
An access log implementation to be used in vert web routes - inspired by apache / tomcat access log configuration
Pure Data extension for LibGDX
Anahata ASI - Artificial Super Intelligence - Cross-Platform, Modular, Enterprise Ready, Open Source, Pure Java, AGI and ASI Containers. Context Window Garbage Collector, Stateful Toolkits, Flight Recorder. Autonomous Observable Auditable JVM Agent with JIT java code execution. Anahata ASI SDK, Anahata ASI Desktop, Anahata ASI Studio - NetBeans.
HBase as a JSON Document Database
- document-database
- hbase
Parallel boolean circuit evaluation
- bitset
- boolean-circuits
- boolean-algebra
- bitmap
Java importer skeleton for complicated, business-logic-heavy high-performance Neo4j imports directly from SQL databases, CSV files, etc.
- neo4j
- java
- neo4j-graphaware-framework
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
Import and export to DB
Z-stack Depth Colorcode ImageJ FIJI plugin
- imagej-plugin
- colorcode
- fiji
- imagej
Unofficial J2ME application for the most popular Russian social site, VK.
- homebrew
- j2me
- j2me-platform
- vk
A Java library (Jackson extension) for reading and writing Excel spreadsheets (XLSX/XLS) as POJOs.
A blueprint adapting VertX to distributed game server
Service Factory implementation
Ultra-lightweight Java DI framework with JSR-330 support, fast classpath scanning, and zero boilerplate. Minimal alternative to Spring/Guice.
- dependency-injection
- dependency-management
- di-framework
- ioc-container
Flexible search query builder is SAP Hybris Commerce extension (released as a library) that provides developer-friendly way to build flexible search queries. The aim of this extension is to write().flexibleSearchQueries().easily() in compile-time safe manner without a need to remember the syntax.
- hybris-commerce-suite
- hybris
- hybris-commerce
- hybris-extension
An implementation of darcy-web that uses Selenium WebDriver as the automation library backend.
Just a simple implementation of DDD + clean architecture pattern. It also contains the exaplanation about the concepts that supports this implementation.
- domain-driven-design
- ddd
- ddd-architecture
- ddd-patterns