This is the project website for the TEAMMATES feedback management tool
TLC is an explicit state model checker for specifications in TLA+
Spring Boot starter module for gRPC framework
[Android] Round Corner Progress Bar Library for Android
Apache Maven Daemon
Allows you to emulate an Android native library
Dynamic Naming and Configuration Service
Unified programming model for Batch and Streaming
Stream processing framework with powerful stream
Source for the TechEmpower Framework Benchmarks project
Source code for the X Recommendation Algorithm
Examples for the usage of LaTeX
Simplified version of ZXing, optimized to scan codes to generate QR
Open source distributed and RESTful search engine
Admin UI for administration of spring boot applications
Low Garbage Java Serialisation Library that supports multiple formats
Advanced Java Redis client for thread-safe sync, async, etc.
Clojure HTTP server/client library with WebSocket support
Conductor is a microservices orchestration engine
Mybatis common mapper, easy to use
Capturing JVM and application-level metrics
Distributed database ecosphere
Real-Time coding-free, powerful and secure ORM
Cordova plugin that allows camera interaction from HTML code