Mutation analysis tool for Coq verification projects
- coq
- mutation-analysis
- serapi
Repository Index
47,133 repositories indexed
97–109 of 109 · Most stars
Simple framebuffer based lighting engine for libGDX.
yet another static template engine for play!framework based on rythm
Distributed, Scalable, Fault-Tolerant, Minimalistic Workflow Engine - No DAGs, No YAML, No Cumbersome Diagrams, Just Code
- business-process
- kafka
- kafka-streams
- micorservices
Logic and scripting engine for smart home automation, based around MQTT
A J2ME-focused reverse-engineering, decompilation and remapping toolkit, aimed at semantically correct, recompilable output.
- cldc
- decompiler
- decompiler-java
- j2me
A general-purpose data analysis engine radically changing the way batch and stream data is processed
a Play framework module to use Thymeleaf as a template engine
Capacitor plugin for checking outdated Android WebView engines with native update prompts and runtime status events.
Create Play! applications for Google App Engine
Unified Java API for multiple decompilers (Fernflower, Vineflower, Procyon, CFR, JD-Core, JADX)
- bytecode
- cfr
- decompilation
- decompiler
Isometric game engine. Open world, block/voxel based and sprite rendering.
- game-engine
- engine
- isometric
- libgdx
Highly optimized implementation of Bech32 and Bech32m for Java