oovm / YuanShenLinks
Modern asynchronous version management system
☆10Updated this week
Alternatives and similar repositories for YuanShen
Users that are interested in YuanShen are comparing it to the libraries listed below
Sorting:
- A type-driven and high-performance ORM framework in Rust☆31Updated 5 months ago
- 入墨答Rumbda, the Chinese expression of lambda calculus☆64Updated 2 years ago
- Zombie chan revive!☆26Updated last year
- ntype cafe summer school resources☆143Updated last year
- Forge wonderful chat messages in typst☆92Updated 4 months ago
- RowScript programming language, making a better browser world☆124Updated this week
- only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy☆52Updated 2 years ago
- A transpiler that converts TeX into Unicode (as possible).☆20Updated 5 months ago
- Yet another python JIT.☆20Updated 2 years ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Updated 9 months ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Updated 5 years ago
- ☆12Updated 4 years ago
- 在 Telegram 上快速模仿迟先生卖弱。☆10Updated 4 years ago
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆65Updated 4 months ago
- 试图用 OpenGL 3.3 画个可爱(?大概吧)的小机器人。☆17Updated 11 months ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- The 峨眉 (EMei) JIT/AOT backend framework.☆18Updated last year
- preview your typst document in instant☆28Updated 2 years ago
- All-in-one mirror utility for SJTUG mirror☆51Updated last week
- 我,秦始皇,打钱!可以开发票。☆56Updated last year
- ☆45Updated 10 months ago
- _rqy's codes of OI problems.☆28Updated 7 years ago
- An April fools joke, a llvm backend to CMake☆48Updated 4 years ago
- History of type theory (Chinese).☆355Updated 5 months ago
- A WIP Float32 soft FPU implementation☆22Updated 4 years ago
- An awesome language and its compiler.☆34Updated 3 years ago
- Typst blog template based on Zola, typst.ts, and apollo.☆39Updated 5 months ago
- ☆11Updated last year
- 🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.☆16Updated 5 years ago
- ☆83Updated 4 years ago