Highlights
- Pro
Lists (3)
Sort Name ascending (A-Z)
Stars
Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles
Educational blog posts for Rust beginners
Incomplete Redis client and server implementation using Tokio - for learning purposes only
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
Defines a common protocol for language servers.
A Neovide like cursor animation for VS Code
Pre-indexed code knowledge graph, auto syncs on code changes, for Claude Code, Codex, Gemini, Cursor, OpenCode, AntiGravity, Kiro, and Hermes Agent — fewer tokens, fewer tool calls, 100% local
青云梯(QingYunTi)官网注册入口说明与多平台使用指南,包含 2026 年套餐价格概览、客户端配置步骤和常见问题。
Computer Vision Annotation Tool (CVAT) is a leading platform for building high-quality visual datasets for vision AI. It offers open-source, cloud, and enterprise products, as well as labeling serv…
An integrated os-level crates repository for operating system and virtualization development
Open-source, community-driven agent harness
Sophia is a statically typed functional language with Lisp syntax and ML-style types, designed as a teaching language that a single person can fully implement.
Skills for Real Engineers. Straight from my .agents directory.
MaaNTE. Nevertheless to Everless automatic assistant 异环小助手
Reusable crates used for ArceOS Hardware Abstraction Layer (HAL).
PingGuoMiaoMiao / tpu-mlir
Forked from sophgo/tpu-mlirMachine learning compiler based on MLIR for Sophgo TPU.
Machine learning compiler based on MLIR for Sophgo TPU.