- Wuhan, China
Lists (2)
Sort Name ascending (A-Z)
Stars
Pulumi - Infrastructure as Code in any programming language 🚀
A high performance rust-powered UI layout library
Prompt Description Language [POC]
A GPT-4 AI Tutor Prompt for customizable personalized learning experiences.
The Cloud Operational Data Store: use SQL to transform, deliver, and act on fast-changing data.
Source code for Twitter's Recommendation Algorithm
High perform & easy to use websocket client/server
Endpoint for poem web framework that acts as a bridge to another server.
Open mSupply represents our most recent advancement in the Logistics Management Information System (LMIS), expanding on more than two decades of development inherited from the well-established lega…
A static verifier for Rust, based on the Viper verification infrastructure.
Beautiful diagnostic reporting for text-based programming languages.
A GraphQL server library implemented in Rust
Arbitrary precision numeric implementation written in Rust, compatible with PostgreSQL's numeric.
The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
A linter and formatter to help you to improve copywriting, correct spaces, words, and punctuations between CJK (Chinese, Japanese, Korean).
Smart SSH, HTTPS and MySQL bastion that requires no additional client-side software
Spin is the open source developer tool for building and running serverless applications powered by WebAssembly.