Lean 4 programming language and theorem prover
Open-source media request and discovery manager for Jellyfin
Absolutely minimal view layer for building web interfaces
VisualVM is an All-in-One Java Troubleshooting Tool
Visualizes all aspects of compiled Java class files
an Open Source BPMN 2.0 / DMN 1.1 Modeler
Lightweight Android library that bundles the Xray networking core
ConnectBot is the first SSH client for Android
The Chrome OS Virtual Machine Monitor
Low code web framework for real world applications
Call all Node.js modules directly from DOM/WebWorker
Simple DirectMedia Layer
Metaprogramming library to analyze and transform Java source code
Free and open source laravel eCommerce platform
Java library that enables cross-platform access to popular native APIs
The Laravel application installer
A browser based code editor
Distributed tracing without code changes
FFmpeg for browser, powered by WebAssembly
Generate type-safe code from SQL
Generates text that depends on changing data (like dynamic HTML).
Arbitrary-precision CRC calculator and algorithm finder