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
Gideros Release version
Open-source code analysis platform for C/C++/Java/Binary/Javascript
An AI developer tool that turns tickets directly into code
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
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
Open-source full-stack web development framework built on top of React
Lightweight dependency injection framework for Java 6 and above
Search and select country or international phone code
RISC-V Assembler and Runtime Simulator
The fast scanner generator for Java™ with full Unicode support