Anki is a smart spaced repetition flashcard program
#效率工具集合#轻量级、反应迅速,可定制的高颜值终端!支持BSD、Linux、macOS、Windows
A self-paced course to learn Rust, one exercise at a time.
Command line interface for supplying proofs to the Nexus network.
#大语言模型#AI enabled pair programmer for Claude, GPT, O Series, Grok, Deepseek, Gemini and 300+ models
Generate any location from the real world in Minecraft Java Edition with a high level of detail.
Build fast web applications with Rust.
The GitButler version control client, backed by Git, powered by Tauri/Rust/Svelte
no_std Hardware Abstraction Layers for ESP32 microcontrollers
#效率工具集合#使用Rust实现的 cd 命令,更聪明支持主流shell
《The Rust Programming Language》- Rust编程语言的官方指南
#效率工具集合#以思想的速度编写代码 – Zed 是一款高性能、支持多人协作的代码编辑器,由 Atom 和 Tree-sitter 的创建者开发。
一个用于将整个网页保存为单个HTML文件的命令行工具
LLRT(Low Latency Runtime | 低延迟运行时)是一个实验性的轻量级JavaScript运行时,旨在满足对快速高效的Serverless应用程序日益增长的需求。