TLC is an explicit state model checker for specifications in TLA+
A custom RPC framework implemented by Netty+Kyro+Zookeeper
A Kotlin API for generating .kt source files
A better compressed bitset in Java
Spring Security With JWT
High-performance, open source distributed transaction solution
Add custom NBT tags to Items/Tiles/Entities without NMS
App observability facade for the most popular observability tools
Containerized automation engine for programmable CI/CD workflows
NativeScript for Android using v8
SQL DSL (Domain Specific Language) for Kotlin and Java
Comprehensive computer science and interview preparation guide
Framework on top of spring-boot that helps create back-ends
Java distributed tracing implementation compatible with Zipkin backend
Android toast frame, dedicated to treating various difficult problems
A Fluent Logging API for Java
Provides an extension of the Spring programming model
Native Android app for Habitica
iText for .NET is the .NET version of the iText library
List of programming books in Spanish for free
Android Permissions Framework, Adapt to Android 16
The idiomatic way to use atomic operations in Kotlin
Framework for application developers to use state machine concepts
Gideros Release version
Asciidoc Editor and Toolchain written with JavaFX 19