-
Trip.com Group
- shanghai, china
- https://twitter.com/guyingjie129
Lists (1)
Sort Name ascending (A-Z)
Stars
React UI + elegant infrastructure for AI Copilots, AI chatbots, and in-app AI agents. The Agentic Frontend 🪁
The final state of the React Conf 2025 Async React talk.
💫 Toolkit to help you get started with Spec-Driven Development
An effect system for TypeScript inspired by algebraic effects.
Type-safe, ergonomic, polymorphic optics for TypeScript
Scalable state management for modern TypeScript applications.
Collection of HTML5 and flash games, plus webretro
RowScript programming language, making a better browser world
A well-documented minimal dependently-typed language for my friend Lyzh
textlint is the pluggable linter for natural language text.
Create beautiful diagrams just by typing notation in plain text.
Semantic Search on Wikipedia with Upstash Vector
Automatically generate a GraphQL API for any SQLite database
D2 is a modern diagram scripting language that turns text to diagrams.
⭐️ A friendly language for building type-safe, scalable systems!
A plug-and-play, highly customizable block-based rich text editor. Supports block/inlineBlock development with any framework, including React/Vue.
List of papers studying machine learning through the lens of category theory
React Strict DOM (RSD) standardizes the development of styled React components for web and native.
A language with lexical effect handlers and lightweight effect polymorphism
Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl
Lexicographically-ordered position strings for collaborative lists and text
Uniquely Dense Total Orders for List/Text CRDTs
It's vanilla-extract with extra flavours (support for React Native Android/iOS/windows/OSX)