Allows you to create machine-readable definitions of asynchronous APIs
TLC is an explicit state model checker for specifications in TLA+
Provide support to increase developer productivity in Java
XSharp Repository for the Compiler source code
Clojure HTTP server/client library with WebSocket support
Proxy: Next Generation Polymorphism in C++
Build Anything Sync Anywhere
Framework for application developers to use state machine concepts
Open-source code analysis platform for C/C++/Java/Binary/Javascript
Libraries for Analysis, with frontends for Java, Android, and JS
Annotation processor to create immutable objects and builders
Fluent assertions for Java and Android
Tribuo - A Java machine learning library
Gideros Release version
jsii allows code in any language to naturally interact with JavaScript
SQL DSL (Domain Specific Language) for Kotlin and Java
Java Concurrency Tools for the JVM
Language for defining cloud service APIs and shapes
Clean and minimalist React Native template for a quick start
Search and select country or international phone code
Lightweight dependency injection framework for Java 6 and above
RISC-V Assembler and Runtime Simulator
The fast scanner generator for Java™ with full Unicode support
Integrated Development Environment (IDE)