johnwu1114 / chinese-nameView external linksLinks
Finding the perfect chinese name for your baby.
☆63Oct 31, 2022Updated 3 years ago
Alternatives and similar repositories for chinese-name
Users that are interested in chinese-name are comparing it to the libraries listed below
Sorting:
- Taigi-TPS 台語方音輸入法(基於 RIME 引擎)☆27May 17, 2021Updated 4 years ago
- ☆19May 2, 2018Updated 7 years ago
- The 峨眉 (EMei) JIT/AOT backend framework.☆18Nov 19, 2024Updated last year
- SOCKS v4a and v5 basic building blocks to build your own async SOCKS application☆20Jul 16, 2024Updated last year
- A toy IO library for Arend☆18Feb 12, 2021Updated 5 years ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆23Dec 5, 2024Updated last year
- A DrRacket plugin to make it experience like an IDE☆48Jan 27, 2026Updated 2 weeks ago
- Attribute proc-macro to delegate method to a field☆29Sep 17, 2023Updated 2 years ago
- Rust RFCs 正體中文翻譯☆24Oct 23, 2023Updated 2 years ago
- ☆55Aug 15, 2022Updated 3 years ago
- Constructive Interpretations of HoTT☆36Aug 26, 2020Updated 5 years ago
- A collection of PLT researching☆29Feb 21, 2025Updated 11 months ago
- Kong plugin to authenticate requests using external HTTP service.☆11Dec 25, 2023Updated 2 years ago
- 基于STM32的RFID读卡器程序