An extremely fast Python type checker and language server
Spring integration for MyBatis 3
Simplifies the development of creating a JPA-based data access layer
The easiest way to get started with Electron
All the world's indeed a stage and we are merely players
Snippet Engine for Neovim written in Lua
TLC is an explicit state model checker for specifications in TLA+
Create native mobile apps in JavaScript or TypeScript
Design-based APIs and microservices in Go
A data access library for Scala + Postgres
Package that gives Python programmers integration with .NET Common CLR
A Java Virtual Machine for OpenJDK
Orchestration engine that enables the deployment, and integration
A fast, powerful, CommonMark compliant, extensible Markdown processor
OpenAPI based HTTP Client code generator
Git repository summary on your terminal
Blade is a powerful build system from Tencent
Automation for iOS, Android, and Windows Apps
Easy and Repeatable Kubernetes Development
ProGuard, Java optimizer and obfuscator
AWS library to sign AWS HTTP requests with Signature Version 4
Defeating Windows user account control
Simulates Gemini CLI, Antigravity, Qwen Code, and Kiro client
Gradle plugin that integrates jOOQ
Elegant PHP web application framework with expressive syntax