TLC is an explicit state model checker for specifications in TLA+
A declarative, Kotlin-idiomatic API for writing dynamic console app
A Kotlin API for generating .kt source files
OpenAPI Generator allows generation of API client libraries
A basic enterprise information development platform
A tool to help eliminate NullPointerExceptions (NPEs) in your code
RisingWave: the next-generation streaming database in the cloud
Do Leetcode exercises in IDE
Distributed instant messaging system for developers
OpenAPI based HTTP Client code generator
Logback JSON encoder and appenders
Simplifies building hypermedia-driven REST web services
Spring and Spring Boot Tutorial For Absolute Beginners
A distributed task scheduling framework
SQL DSL (Domain Specific Language) for Kotlin and Java
Web-based SSH console that centrally manages administrative access
Gameboy emulator in Java 8
Stipple Effect is a pixel art editor that supports animation
Cordova plugin that allows camera interaction from HTML code
Customizable AI chat component for websites with API support
The Metadata Platform for your Data and AI Stack
A Spring Framework application based on JSP, Spring MVC
A comprehensive, efficient, and reusable util function library of Go
Building modern, elegant and fast desktop Compose applications