TLC is an explicit state model checker for specifications in TLA+
Apache Maven Daemon
UI Components Library for React Native
Redpanda is a streaming data platform for developers
A most popular sql audit platform for mysql
A simple PHP GitHub API client, Object Oriented, tested and documented
Cross-platform framework for building truly native mobile apps
Python scripts for ETL (extract, transform and load) jobs for Ethereum
Static site generator for .NET API documentation
The recommended code splitting library for React
An advanced, composable, functional reactive model-view-viewmodel
V2Ray routing rules file enhanced version, which can replace V2Ray
Parallel OS, with GUI, Terminal, OO Assembler, Class libraries
Dapr is portable, event-driven, runtime for building distributed apps
A faster way to develop React Web Applications
A Java to iOS Objective-C translation tool and runtime
A collection of source code generators for Java
Directus wraps any SQL database with a real-time GraphQL+REST API
The JavaScript / Wasm runtime that powers Cloudflare Workers
A complete solution for apps using root permissions
Macro(s) for vectorizing loops
A safe, extensible ORM and Query Builder for Rust
Java wrapper for the popular chat & VOIP service
The next-generation, cross‐platform package manager
A language server that offers Lua language support - programmed in Lua