Starred repositories
Performant financial charts built with HTML5 canvas
Lean 4 programming language and theorem prover
Empowering everyone to host fast and efficient Minecraft servers.
Simple and easy to use DDNS. Support Aliyun, Tencent Cloud, Dnspod, Cloudflare, Callback, Huawei Cloud, Baidu Cloud, Porkbun, GoDaddy, Namecheap, NameSilo...
AI app store powered by 24/7 desktop history. open source | 100% local | dev friendly | 24/7 screen, mic recording
A library for building fast, reliable and evolvable network services.
Install, run and deploy your own decentralized AI agent service
A Desktop App for Easily Viewing and Editing Markdown Files
Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3
Get up and running with OpenAI gpt-oss, DeepSeek-R1, Gemma 3 and other models.
Animation engine inspired by manim, written in Rust
A Wechat MiniProgram UI components lib for TDesign.
An authorization library that supports access control models like ACL, RBAC, ABAC in Rust.
embedded-hal abstractions for AVR microcontrollers
A Rust library that provides access to the Raspberry Pi's GPIO, I2C, PWM, SPI and UART peripherals.
Securely generate API tokens for third-party access to your Tesla.
✨ Light and Fast AI Assistant. Support: Web | iOS | MacOS | Android | Linux | Windows
Free prompt engineering online course. ChatGPT and Midjourney tutorials are now included!
ChatGLM2-6B: An Open Bilingual Chat LLM | 开源双语对话语言模型