State of the art mutation testing system for the JVM
General-purpose bitemporal database for SQL, Datalog & graph queries
Distributed messaging and streaming platform with low latency
Kotlin Symbol Processing API
Lightweight mobile-friendly Docker Swarm management UI
A declarative, Kotlin-idiomatic API for writing dynamic console app
A Kotlin API for generating .kt source files
TLC is an explicit state model checker for specifications in TLA+
Spring integration for MyBatis 3
Synthetic Patient Population Simulator
One-stop solution for application development for Alibaba middleware
Scala 2 compiler and standard library
Simplifies the development of creating a JPA-based data access layer
Ebean ORM
A plugin for interacting with AWS from JetBrains IDEs
Make writing Java http clients easier
DataCap is integrated software for data transformation
Next-gen container development platform, workspace server & cloud IDE
Memory Efficient Serialization Library
Stipple Effect is a pixel art editor that supports animation
Wrapper of syncthing for Android
An Application Framework for AI Engineering
A comprehensive, efficient, and reusable util function library of Go
Monitor and troubleshoot transactions in complex distributed systems
Clojure & ClojureScript Language Server (LSP) implementation