Lists (3)
Starred repositories
Chufeng-Jiang / llaisys-26s
Forked from wooway777/llaisys-26sLet's Learn AI SYStem
Voice-to-text dictation app with local (Nvidia Parakeet/Whisper) and cloud models (BYOK). Privacy-first and available cross-platform.
Vendor-agnostic orchestration for training, inference and agentic workloads across NVIDIA, AMD, TPU, and Tenstorrent on clouds, Kubernetes, and bare metal.
Locality: agent-local file system access to systems of record for safe local editing and AI workflows.
turns your codebase into an autoresearch loop — discovers what to measure, instruments the benchmark, then runs tree search with parallel subagents.
Full Transformer into a custom chip. microGPT in RTL, generating names on a Virtex-5 FPGA at ~56k tokens/second.
Un-0: an image generator powered by a simulated system of coupled oscillators, an example of an emerging physical computing substrate.
AI agent skill that researches any topic across Reddit, X, YouTube, HN, Polymarket, and the web - then synthesizes a grounded summary
DeepSeek-native AI coding agent for your terminal. Engineered around prefix-cache stability — leave it running.
Open-source inference server and production cluster for all the models your agent needs.
TorchLean is the first unified Lean 4 framework for neural-network specification, execution, and verification.
A unified storage SDK for object and blob backends. One small, honest API. Web-standards I/O.
Computational Graphics - THU Spring 2018
AssetOpsBench - Industry 4.0: A unified benchmark and framework for building, orchestrating, and evaluating domain-specific AI agents for Industry 4.0 asset operations and maintenance, with 460+ sc…
The Doubleword Inference Stack is the easiest & most performant way to run genAI infrastructure in your private environment.
✨ Cross-agent skills that help coding agents use Entire context from Checkpoints, sessions, and git history to search past work, explain code, and hand off sessions.
Agent OS: Stop prompting. Start specifying. A Socratic interview gates the spec on an ambiguity score, then one command drives execution, a 3-stage evaluation gate, and a budgeted evolution loop. M…
Headless CLI client for stateful Agent Client Protocol (ACP) sessions
(Mirror) S3-compatible object store for small self-hosted geo-distributed deployments. Main repo: https://git.deuxfleurs.fr/Deuxfleurs/garage
The open-source app everyone uses to manage agents at work
On-device Speech AI for Apple Silicon
A hybrid programming language combining Lean4's formal verification with blazing-fast compilation, actor-based agent orchestration, AI-driven optimization, and vector-backed agent memory.