- China
-
20:35
(UTC +08:00) - https://famer.me
- https://orcid.org/0009-0003-1335-2806
- https://www.zhihu.com/people/mingyang91
Stars
A rust drawing library for high quality data plotting for both WASM and native, statically and realtimely 🦀 📈🚀
RAGFlow is a leading open-source Retrieval-Augmented Generation (RAG) engine that fuses cutting-edge RAG with Agent capabilities to create a superior context layer for LLMs
RISC-V platform-level interrupt controller (PLIC) register definitions and basic operations.
A eDSL framework based on Scala and MLIR, focusing on the Hardware design.
Fullstack app framework for web, desktop, and mobile.
node.js compile-time SQL validations & type generations
Examples and use cases for building LLM-Powered apps with Rig
A modern GUI client based on Tauri, designed to run in Windows, macOS and Linux for tailored proxy experience
⬆️ GitHub Actions uptime monitor & status page by @AnandChowdhary
Creusot helps you prove your code is correct in an automated fashion.
A full-featured and easy-to-use web framework with the Rust programming language.
The Rust Implementation of the libp2p networking stack.
Lightning Node Connect npm module for web
A cross-platform GUI library for Rust, inspired by Elm
LimboAI - Behavior Trees and State Machines for Godot 4
Rust / Wasm framework for creating reliable and efficient web applications
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
A collection of lower-level libraries for composable network services.
A static verifier for Rust, based on the Viper verification infrastructure.
Jupyter lab ❤️ scala, integrating almond and metals-lsp.