TLC is an explicit state model checker for specifications in TLA+
A Python 3 implementation built on GraalVM
SQL DSL (Domain Specific Language) for Kotlin and Java
Java distributed tracing implementation compatible with Zipkin backend
Provides an extension of the Spring programming model
The idiomatic way to use atomic operations in Kotlin
Examples, server integrations for generating Swagger API Specification
A header-only C++ library for interacting with crypto exchanges
OpenAPI Generator allows generation of API client libraries
The “Quite OK Image Format” for fast, lossless image compression
List of programming books in Spanish for free
OWASP Coraza WAF is a golang modsecurity compatible firewall library
Examples for the usage of LaTeX
Proxy: Next Generation Polymorphism in C++
The pure asynchronous runtime for Scala
Complete Collection of 151 Problems
Orx: Data-Driven Game Engine
Asciidoc Editor and Toolchain written with JavaFX 19
Delphi : VRCalc++ OOSL & + (Paged List, TextEditor, VRAstroVision ...)
inputbox password WIN OSX GTK QT Console VCPKG C# Lua R Fortran Pascal
VR Adrix Java Works - Paged Lists - Action-Entity Model ...
A lexical analyzer generator that makes the class source code.
The regex-centric, fast lexical analyzer generator for C++
An assorted miscellany of tools and toys.
c++/java library for thread support and other useful stuff