- 🔭 I used to work as a software engineer at Baidu, Beijing.
- 🌱 I’m currently learning programming language theory and logic.
suica Goto Github PK
Name: Sg
Type: User
Company: NetEase Hangzhou Institute
Location: China
Name: Sg
Type: User
Company: NetEase Hangzhou Institute
Location: China
There can be more than Notion and Miro. AFFiNE is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable and ready to use.
arXivER: Just a Flask-based paper reading assistant!
Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
A type friendly web framework for node.js written by TypeScript
A mac app which for event notification of gerrit code review
Kvrocks is a distributed key value NoSQL database that uses RocksDB as storage engine and is compatible with Redis protocol.
Tutorial on writing a JavaScript Parser in Rust
The user home repository for the Mathematics in Lean tutorial.
A mindmap framework build with React.
A Vue 3 Component Library. Fairly Complete. Theme Customizable. Uses TypeScript. Fast.
Website for napi.rs
🚀 Beautiful, fast and modern React UI library.
QDUOJ 魔改版 | Open source online judge based on Python, Django and Docker | A modified edition
The JavaScript Oxidation Compiler
An introduction to programming language theory in Agda
Let's write an OS which can run on RISC-V in Rust from scratch!
Weibo realised with react.js
一个帮助开发React应用的全功能命令行套件
A fast Rust-based web bundler 🦀️
:crab: Small exercises to get you used to reading and writing Rust code!
原神,启动!Start Genshin Impact with React server action
A simple QT Git client written in C++, which is originally a coursework of User Interfaces course. It is easy to understand, and also suitable for beginners of QT in C++.
My solution to Programming Language Foundations in Agda (available at https://plfa.github.io)
open source training courses about distributed database and distributed systems
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.