TLC is an explicit state model checker for specifications in TLA+
Build Anything Sync Anywhere
SQL DSL (Domain Specific Language) for Kotlin and Java
Framework on top of spring-boot that helps create back-ends
Clojure HTTP server/client library with WebSocket support
Android Permissions Framework, Adapt to Android 16
Cordova plugin that allows camera interaction from HTML code
Free and open-source dating platform that respects your privacy
A library to support tests with throwaway instances of Docker
Like OOJMerge but for HTML documents
Java distributed tracing implementation compatible with Zipkin backend
The AI-powered coding wizard
A Fluent Logging API for Java
List of programming books in Spanish for free
Ansible Role - Jenkins CI
Nepxion Discovery is a solution for Spring Cloud
Implementation for PHP
Source code for the X Recommendation Algorithm
Welcome to the Bot Framework SDK for .NET repository
A layer built on top of the Insight Toolkit (ITK)
A header-only C++ library for interacting with crypto exchanges
Allows you to create machine-readable definitions of asynchronous APIs
Capstone disassembly/disassembler framework
Welcome to the Bot Framework SDK for JavaScript repository
Containerized automation engine for programmable CI/CD workflows