Pinned Repositories
ant-design
An enterprise-class UI design language and React UI library
arxiver
arXivER: Just a Flask-based paper reading assistant!
GerritJarvis
A mac app which for event notification of gerrit code review
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
solution-to-plfa
My solution to Programming Language Foundations in Agda (available at https://plfa.github.io)
typescript-type-level-programming
An experimental transpiler that makes simple typescript computations happen in type-level.
web-flipclock
⏳ A web flip clock created with flipclock.js, optimized for mobile device
write-you-a-typescript
type-challenges
Collection of TypeScript type challenges with online judge
suica's Repositories
suica/write-you-a-typescript
suica/typescript-type-level-programming
An experimental transpiler that makes simple typescript computations happen in type-level.
suica/solution-to-plfa
My solution to Programming Language Foundations in Agda (available at https://plfa.github.io)
suica/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
suica/misc.exists.tech
suica/mmp
A mindmap framework build with React.
suica/AFFiNE
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.
suica/farrow
A type friendly web framework for node.js written by TypeScript
suica/giant
suica/incubator-kvrocks
Kvrocks is a distributed key value NoSQL database that uses RocksDB as storage engine and is compatible with Redis protocol.
suica/javascript-parser-in-rust
Tutorial on writing a JavaScript Parser in Rust
suica/language-tools-starter
suica/lc-rating
suica/naive-ui
A Vue 3 Component Library. Fairly Complete. Theme Customizable. Uses TypeScript. Fast.
suica/napi-rs-website
Website for napi.rs
suica/nextui
🚀 Beautiful, fast and modern React UI library.
suica/oxc
The JavaScript Oxidation Compiler
suica/pba-work
suica/plfa.github.io
An introduction to programming language theory in Agda
suica/rCore-Tutorial-v3
Let's write an OS which can run on RISC-V in Rust from scratch!
suica/reskript
一个帮助开发React应用的全功能命令行套件
suica/rspack
A fast Rust-based web bundler 🦀️
suica/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
suica/server-action-genshin-impact
原神，启动！Start Genshin Impact with React server action
suica/suica
suica/talent-plan
open source training courses about distributed database and distributed systems
suica/ts-starter
Template for TypeScript Project
suica/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
suica/univer
Univer is an open source collabrative solution
suica/xv6-labs-2021