TLC is an explicit state model checker for specifications in TLA+
A Java library for sending APNs (iOS/macOS/Safari)
Dashboard and code-driven configuration for Laravel queues
MyBatis integration with Spring Boot
Dark GitHub style
Ts.ED is a Node.js and TypeScript framework on top of Express
Laravel 10+ Content management framework
Developer environments you can take with you
A cross-platform (C99/C++11) process library
Apache Log4net is a versatile, feature-rich, efficient logging API
A Typescript + Node.js lightweight framework
CodeBehind is a modern back-end framework under ASP.NET Core.
The binary distribution of openHAB
Asciidoc Editor and Toolchain written with JavaFX 19
A Gradle plugin that publishes your Android and Kotlin libraries
Sisk's request and response processor mainframe source code
Simple Binary Encoding (SBE) - High Performance Message Codec
SQL DSL (Domain Specific Language) for Kotlin and Java
A header-only C++ library for interacting with crypto exchanges
List of programming books in Spanish for free
Framework for unit testing Jenkins pipelines
Library that automates the administration of your github projects
Provides an extension of the Spring programming model
The idiomatic way to use atomic operations in Kotlin
Java distributed tracing implementation compatible with Zipkin backend