Stars
Quantum computing using rust. Efficient and a borrow-checked no cloning theorem!
A blazingly fast multi-language serialization framework for idiomatic domain objects, schema IDL, and cross-language data exchange.
🚀 Fast and simple Node.js version manager, built in Rust
A curated catalogue of awesome agentic AI patterns
Typst template for Harbin Engineering University (HEU) bachelor thesis | 哈尔滨工程大学本科生毕业论文 Typst 模板
FSRS for Rust, including Optimizer and Scheduler
A language with lexical effect handlers and lightweight effect polymorphism
Represent large sets and maps compactly with finite state transducers.
Linux 平台下基于 Rust + GTK 开发的网易云音乐播放器
Compile Time Dependency lnjection Library for Rust
Archibate's personal configuration for OpenCode
Agda is a dependently typed programming language / interactive theorem prover.
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…
DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm
Japanese rōmaji input schema for Rime IME
A tool interoperate between CoreCLR and Il2Cpp at runtime
A unified AI model hub for aggregation & distribution. It supports cross-converting various LLMs into OpenAI-compatible, Claude-compatible, or Gemini-compatible formats. A centralized gateway for p…
Unbounded context. Memory that manages itself. One session, for life. The hippocampus for coding agents, part of CortexKit.
Warp is an agentic development environment, born out of the terminal.
AI-native GPU-accelerated terminal emulator with built-in SSH, SFTP & command history.
A professional cross-platform SSH/Sftp/Shell/Telnet/Tmux/Serial terminal.
MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!
The elemental Rust framework for building production-grade AI agents.
GitNexus: The Zero-Server Code Intelligence Engine - GitNexus is a client-side knowledge graph creator that runs entirely in your browser. Drop in a GitHub repo or ZIP file, and get an interactive …
A powerful MCP toolkit for coding, providing semantic retrieval and editing capabilities - the IDE for your agent