Stars
A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.
AI-driven vulnerability discovery and live validation
Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.
Deezer source separation library including pretrained models.
Open-Unmix - Music Source Separation for PyTorch
Effortlessly compose, extend, and observe every service in real-time for the first time ever.
agent-sandbox enables easy management of isolated, stateful, singleton workloads, ideal for use cases like AI agent runtimes.
Official implementation for the paper: "Code Generation with AlphaCodium: From Prompt Engineering to Flow Engineering""
Cargo subcommand to provide various options useful for testing and continuous integration.
Backend agnostic motion graphics creation framework.
The fundamentals for Digital Audio Signal Processing. Formerly `sample`.
CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies
DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm
General plug-and-play inference library for Recursive Language Models (RLMs), supporting various sandboxes.
AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI
low-level window system interface for audio plugin UIs
OBLITERATE THE CHAINS THAT BIND YOU
Repair malformed JSON from LLMs, APIs, logs, and user input in Python.
Trap AI web scrapers in an endless poison pit.
A code-first, composable SDK to build powerful AI agents
Secure and fast microVMs for serverless computing.
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.