TLC is an explicit state model checker for specifications in TLA+
Ruby programming language
A custom RPC framework implemented by Netty+Kyro+Zookeeper
Tribuo - A Java machine learning library
Nepxion Discovery is a solution for Spring Cloud
iText for .NET is the .NET version of the iText library
A header-only C++ library for interacting with crypto exchanges
Use AWS Identity and (IAM) to connect to Amazon Managed Streaming
Cucumber for Ruby
Yao A low code engine to create web services and dashboard
SQL DSL (Domain Specific Language) for Kotlin and Java
Template-driven engine to generate documentation
The idiomatic way to use atomic operations in Kotlin
Framework on top of spring-boot that helps create back-ends
Build Anything Sync Anywhere
List of programming books in Spanish for free
Capstone disassembly/disassembler framework
Android Permissions Framework, Adapt to Android 16
An easy to use and powerful chaos engineering experiment toolkit
jQuery grid plugin
OWASP Coraza WAF is a golang modsecurity compatible firewall library
Examples, server integrations for generating Swagger API Specification
Distributed scheduled job framework
Cross-platform, cross-blockchain wallet library
Lightweight Java IDE with syntax highlighting and convenient features.