Lists (13)
Starred repositories
Curated resources for JEPA (Joint Embedding Predictive Architecture) world models and self-supervised learning
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
π RuView turns commodity WiFi signals into real-time spatial intelligence, vital sign monitoring, and presence detection — all without a single pixel of video.
rust-rpico2-embassy-examples Rust Embassy examples for Raspberry Pi Pico 2
Democratizing large model inference and training on any device.
A literal credit-card sized computer with E-Paper display, ESP32 and NFC.
A tiny language model implemented with Burn in Rust
very fast speech-to-text, diarization, streaming (even in CPU) with NVIDIA Parakeet in Rust
Zero-copy, content-addressed Rust build cache. No copies, no wasted disk — just hardlinks locally and S3 for sharing.
Read-only developer endpoint scanner for on-disk package, extension, and developer-tool metadata, built to check exposure to known software supply-chain compromises.
CodSpeed is the all-in-one performance testing toolkit. Optimize code performance and catch regressions early.
Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.
Silero VAD: pre-trained enterprise-grade Voice Activity Detector
Fast and Accurate Code Search for Agents. Uses ~98% fewer tokens than grep+read
Convert PDF to markdown + JSON quickly with high accuracy
cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign languag…
A thread-per-core Linux io_uring async runtime for Rust optimized for latency.
Review-first terminal diff viewer for agentic coders
Benchmark suite that compares vector search engines against each other on billion-scale datasets, from in-memory HNSW libraries like USearch, FAISS, & cuVS to managed databases like Qdrant, Weaviat…
Zig code intelligence server and MCP toolset for AI agents. Fast tree, outline, symbol, search, read, edit, deps, snapshot, and remote GitHub repo queries.
Zones are private blockchains anchored to Tempo, with native support for confidential balances and transactions. Zones inherit compliance from Tempo L1 and support interoperability with Tempo for m…
🦭 Distributed log streaming engine built from first principles