Stars
A model-based testing framework for Quint + Rust
Deepsec is a security harness for finding vulnerabilities in your codebase powered by coding agents
📝 A markup-aware linter for prose built with speed and extensibility in mind.
.NET DataFrame Engine, powered by Arrow and Polars
nlspec of StrongDM's Attractor, a non-interactive Coding Agent sufficient for use in a Software Factory
Scriptable desktop app to correct the perspective of images
Semantic retrieval for AI agents: high-recall memory and code search that cuts coding-agent token usage by nearly 50%
Build continually improving models on your agent traces by distilling frontier open models
Platform Evolution Engine. Distill the best from the combinatorial mess.
Agent skill: make LLMs write docs in ASD-STE100 Simplified Technical
Skills for AI Evals to compliment the course: AI Evals For Engineers & PMs
A native C#/.NET implementation of Google's Common Expression Language (CEL).
Common Expression Language -- specification and binary representation
Local-first, multi-writer replication for SQLite and Postgres.
Local, GPU-accelerated redaction for video & screen recordings — blur, black-box, or mosaic faces and/or any regex-matchable text. Human review, no cloud.
A Python library (and CLI) for Amazon order history, line items, and transactions
A ready-to-go node implementation built using LDK.
F#-powered static site generator with template-as-code & ZCSS styles (no YAML, no Node.js)
Codebase intelligence for TypeScript and JavaScript. Free static analysis of code and styles: unused code, duplication, circular deps, complexity hotspots, architecture boundaries, design-system dr…
Agentic AI security tool that applies proactive, attacker-first analysis directly to source code.
Run frontier MoE models on hardware you already own — pure C, zero deps, experts streamed from disk. Tiny engine, immense model. 🐦
Postgres rewritten in Rust, now faster than Postgres and Clickhouse