Mutation analysis tool for Coq verification projects
- coq
- mutation-analysis
- serapi
Repository Index
47,133 repositories indexed
577–600 of 662 · Most stars
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
Utilities for HDR Histogram logs manipulation
Capacitor plugin that sends you accurate geolocation updates, even while the app is in the background.
- capacit
- capacitor-plugin
- plugin
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.
The repository host gives no description.
Leaderboards backed by Redis in Java
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
SimpleNLG-EnFr 1.1 is a bilingual English/French adaption of SimpleNLG v4.2
Vert.x GraphQL utils
A blueprint adapting VertX to distributed game server
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
Log4j, Knockout.js, WebSockets and Play! Log4Play is a module that provides a log4j appender which publishes log entries to an EventStream. The module also provides an user interface which uses a WebSocket creating a live stream of log messages. You can use this user interface to look at the logs of your application without needing to login to the actual box.
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
commons networking utils
Persistence for REST resources in the filesystem or a redis database
Apache JMeter Backend Listener implementation for Prometheus metrics exporting
- jmeter
- prometheus
- jmeter-plugin
- jmeter-listener
Consul - based cluster manager that can be plugged into Vert.x ecosystem.
- vertx
- consul
- clustering
- distributed-counter
German version of SimpleNLG 4
- natural-language
- java
- nlg
- simplenlg
Distributed, Scalable, Fault-Tolerant, Minimalistic Workflow Engine - No DAGs, No YAML, No Cumbersome Diagrams, Just Code
- business-process
- kafka
- kafka-streams
- micorservices
A terrible terrible soft-keyboard that randomises keys on every press.
a web-based software tool developed for the visualization, analysis, and reporting of regional and statewide transit networks in the state of Oregon
wicket-clientside-logging is a helper library that allows javascript logging on client side that stores messages on server side too.