A Kotlin web framework
Portable AI agent orchestration with mechanical protocol enforcement
How to minimize Rust binary size
JavaScript Sequence Editor
A simple, secure MCP-to-OpenAPI proxy server
Agda is a dependently typed programming language
SDK for building Kubernetes applications. Provides high level APIs
Spring integration for MyBatis 3
A minimal, idiomatic Scala interface for HTTP
A Python framework to write Kubernetes operators in just a few lines
Awesome Django authorization, without the database
Library and tools for open cloud development in Go
A little word cloud generator in Python
Safe interop between Rust and C++
A collection of essential TypeScript types
Open source web application framework for ASP.NET core
JavaScript Survey and Form Library
Android Permissions Framework, Adapt to Android 16
The Operator Splitting QP Solver
WhatsApp tool for chatbots with advanced features
C++ wrappers for SIMD intrinsics
PHP web browser emulator abstraction
1.21.11 Lightweight Minecraft server
A base class for creating strongly typed enum replacements in C#
Structured learning path that organizes Python fundamentals