Lists (6)
Starred repositories
A launch point for your personal nvim configuration
Lightweight coding agent that runs in your terminal
Gluster Filesystem : Build your distributed storage in minutes
Wrap Gemini CLI, Antigravity, ChatGPT Codex, Claude Code as an OpenAI/Gemini/Claude/Codex compatible API service, allowing you to enjoy the free Gemini 2.5 Pro, GPT 5, Claude model through API
Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels
A command-line tool to download photos from iCloud
A Python + iCloud wrapper to access iPhone and Calendar data.
Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.
SeaweedFS is a distributed storage system for object storage (S3), file systems, and Iceberg tables, designed to handle billions of files with O(1) disk access and effortless horizontal scaling.
NFS-Ganesha is an NFSv3,v4,v4.1 fileserver that runs in user mode on most UNIX/Linux systems
The Swiss Army knife for 802.11, BLE, HID, CAN-bus, IPv4 and IPv6 networks reconnaissance and MITM attacks.
A terminal workspace with batteries included
Avoiding merge conflicts by making invalid collaboration states unrepresentable.
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
A rust drawing library for high quality data plotting for both WASM and native, statically and realtimely 🦀 📈🚀
[SOSP'25] Automatic checker synthesis for system-level static analysis
🚀 A simple way to launch, train, and use PyTorch models on almost any device and distributed configuration, automatic mixed precision (including fp8), and easy-to-configure FSDP and DeepSpeed support
Making large AI models cheaper, faster and more accessible
Qwen3-TTS is an open-source series of TTS models developed by the Qwen team at Alibaba Cloud, supporting stable, expressive, and streaming speech generation, free-form voice design, and vivid voice…
DeepSeek Coder: Let the Code Write Itself
Fast, small, and fully autonomous AI personal assistant infrastructure, ANY OS, ANY PLATFORM — deploy anywhere, swap anything 🦀
SkyRL: A Modular Full-stack RL Library for LLMs
slime is an LLM post-training framework for RL Scaling.
Spacedrive is an open source cross-platform file explorer, powered by a virtual distributed filesystem written in Rust.
A security-focused library OS supporting kernel- and user-mode execution