Lists (5)
Starred repositories
Fusing automated UI testing with scripts (property-based testing) for effectively fuzzing Android apps
A Claude Code plugin that makes Claude Code self-improve — learning from your corrections, not just remembering them (also support codex now)
Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
Java library for parsing report files from static code analysis.
RowScript programming language, making a better browser world
🔎 Static code analysis engine to find security issues in code.
Chinese software copyright application template document
Apx (/à·peks/) is the default package manager in Vanilla OS. It is a wrapper around multiple package managers to install packages and run commands inside a managed container.
CanvasAnvil is an AI multi-canvas creation platform for flowcharts, interior design, presentations, posters, infographics, and product storytelling.
Local screen memory for Claude Code and Codex CLI.
Diskless Kafka® on S3. 10x Cost-Effective. No Cross-AZ Traffic Cost. Autoscale in seconds. Single-digit ms latency. Multi-AZ Availability.
The Language Virtual Machine for Agent Skills
Make your agents improve themselves. Reflexio is an AI agent self-improvement harness that enables your AI agents to continuously learn from real user interactions.
The next generation of SDKMAN! CLI commands, written in Rust
A cloud native embedded storage engine built on object storage.
Mattermost is an open source platform for secure collaboration across the entire software development lifecycle..
Make Java Web development simpler, more efficient, and more interesting.
6,035+ brand SVG icons for developers. Tree-shakeable, typed, open source. npm i thesvg
A blog of Programming Languages Group @Purdue