Lean 4 programming language and theorem prover
SOGo is a very fast and scalable modern collaboration suite
Add custom NBT tags to Items/Tiles/Entities without NMS
A TypeScript-like language for WebAssembly
Svelte inside Phoenix LiveView with seamless end-to-end reactivity
LYGIA, it's a granular and multi-language (GLSL, HLSL, WGSL, MSL, etc.
LINE Messaging API SDK for Java
edgetunnel 2.0 VLESS/Trojan
Python and JavaScript bindings for calling the Earth Engine API
Asynchronous streaming communication for Clojure
Hawtio web console helps you manage your JVM stuff and stay cool
Extension to mason.nvim that makes it easier to use lspconfig
Complete Kotlin-stack (Backend + Android) application
Build interactive web apps directly from R with Shiny framework
Modern Load Testing as Code
Lighweight CLI to interact with MCP servers
Fast and beautiful Log Viewer for Laravel
Let your AI agent create clean, easy to maintain flask backends
Mobile_Detect is a lightweight PHP class for detecting mobile devices
Quickstart configs for Nvim LSP
Probably the fastest PHP web framework in the world
A powerful server and network library, including coroutine
Web apps in pure Python
Rust SSH client & server library