Performant type-checking for python
Lightweight modular front-end framework for developing web interfaces
Codex plugin that turns attached object images into code-only
A container platform that needs no Kubernetes learning
Self-hosted bridge that lets you interact with AI coding agents
See where your AI coding tokens go
Repomix is a powerful tool that packs your entire repository
Mathematical Contest resources
Symbolic programming for the next generation of numerical software
An powerful enhanced toolkit of MyBatis for simplify development
Analyzes your codebase identifying important files based on dependency
Execute Objective-C code as script. AST Interpreter
Context-aware AI reviewer for Pull Requests
Avalonia-based text editor (port of AvalonEdit)
A unified interface for distributed computing
Annotation processor to create immutable objects and builders
Custom electon title bar inpire on VS Code title bar
Talk to Your AI Agents from Anywhere
Snappy and configuration-free text editor/IDE for the terminal
View software deployment's events & states
Autonomous research from idea to paper. Chat an Idea. Get a Paper 🦞
Open-source model for program synthesis
All the world's indeed a stage and we are merely players
Operating system for the Sega Dreamcast
Create native mobile apps in JavaScript or TypeScript