TLC is an explicit state model checker for specifications in TLA+
Generate awesome word(docx) with template
An implementation of the Random Cut Forest data structure
Development platform to generate and deploy modern web apps
SQL DSL (Domain Specific Language) for Kotlin and Java
Spring integration for MyBatis 3
WeChat develops Java SDK, supports back-end development
Provide support to increase developer productivity in Java
XSharp Repository for the Compiler source code
jsii allows code in any language to naturally interact with JavaScript
Java Concurrency Tools for the JVM
Uber's cross-platform mobile architecture framework
Clojure HTTP server/client library with WebSocket support
Framework for building GraalVM-enabled command line apps
Welcome to the Bot Framework SDK for .NET repository
Proxy: Next Generation Polymorphism in C++
Datalog variant for tool designers crafting analyses in Horn clauses
A library to support tests with throwaway instances of Docker
Amazon CodeGuru Profiler Python Agent
Free and open-source dating platform that respects your privacy
Build Anything Sync Anywhere
The Open Source Test Automation Platform
Nepxion Discovery is a solution for Spring Cloud
A complete configuration solution for Go applications
OWASP Coraza WAF is a golang modsecurity compatible firewall library