TLC is an explicit state model checker for specifications in TLA+
SQL DSL (Domain Specific Language) for Kotlin and Java
Framework on top of spring-boot that helps create back-ends
Provides an extension of the Spring programming model
Java distributed tracing implementation compatible with Zipkin backend
An implementation of the Random Cut Forest data structure
List of programming books in Spanish for free
Ansible Role - Jenkins CI
Implementation for PHP
Allows you to create machine-readable definitions of asynchronous APIs
Welcome to the Bot Framework SDK for JavaScript repository
Desktop app that helps you craft Gatling load-testing simulations
The cross-platform toolkit
Capstone disassembly/disassembler framework
Clojure HTTP server/client library with WebSocket support
Capturing JVM and application-level metrics
Android toast frame, dedicated to treating various difficult problems
Android Permissions Framework, Adapt to Android 16
The kit can be used as code generator for any programming language.
A library to support tests with throwaway instances of Docker
Java Concurrency Tools for the JVM
The idiomatic way to use atomic operations in Kotlin
Framework for application developers to use state machine concepts
Proxy: Next Generation Polymorphism in C++
Build Anything Sync Anywhere