Memory Efficient Serialization Library
TLC is an explicit state model checker for specifications in TLA+
A Discord music bot that's easy to set up and run yourself
Kestra is an infinitely scalable orchestration and scheduling platform
Cloud & Desktop IDE Platform
Simple, fast, safe, compiled language for developing software
Modern JavaFX CSS theme collection with additional controls
Mybatis common mapper, easy to use
Forward-chaining rules in Clojure(Script)
A Java library for technical analysis
Containerize your Java application
Next-gen container development platform, workspace server & cloud IDE
Fast Binary Encoding is fast and universal serialization solution
Static site generator for .NET API documentation
WeChat develops Java SDK, supports back-end development
A source code analyzer built for surfacing features of interest
Orchestration engine to execute asynchronous business logic
Browser-based interactive codebase and dependency visualization tool
A revolutionary ORM framework for both java and kotlin.
Gameboy emulator in Java 8
Type-safe HTTP client for Android and Java by Square
Framework to interpret and transpile JVM bytecode to JavaScript
RStudio is an integrated development environment (IDE) for R
A networking framework that evolves with your application
Animated illustrations, one-click data structure