Lists (4)
Stars
AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI
Specula: An agentic tool for finding deep bugs in system code using TLA+
RLinf: Reinforcement Learning Infrastructure for Embodied and Agentic AI
Feature-packed TUI note management app inspired by Obsidian
Warp is an agentic development environment, born out of the terminal.
SkillOpt is a text-space optimizer that trains reusable natural-language skills for frozen LLM agents through trajectory-driven edits, validation-gated updates, and deployable best_skill.md artifacts.
Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.
Open-source, low-cost 10.5 GHz PLFM phased array RADAR system
The most powerful and modular diffusion model GUI, api and backend with a graph/nodes interface.
The GitButler version control client, backed by Git, powered by Tauri/Rust/Svelte
A fast type checker and language server for Python
🕵️♂️ TUI for sniffing network traffic using eBPF on Linux
A simple, decentralized mesh VPN with WireGuard support.
Access the system clipboard from anywhere using the ANSI OSC52 sequence
blazesym is a library for address symbolization and related tasks
Review pull-requests on https://github.com/NixOS/nixpkgs
A reverse proxy like nginx, built on pingora, simple and efficient.
A replacement of the #[test] attribute that initializes logging and/or tracing infrastructure before running tests.
Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.