imlyzh / emei
The 峨眉 (EMei) JIT/AOT backend framework.
☆18Updated last month
Alternatives and similar repositories for emei:
Users that are interested in emei are comparing it to the libraries listed below
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆23Updated last month
- A type-driven and high-performance ORM framework in Rust☆25Updated 2 years ago
- ☆11Updated 2 years ago
- Next-GEN Confguration Template Generation Language☆12Updated 2 years ago
- Zombie chan revive!☆24Updated 10 months ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Updated 2 years ago
- The formal development repository for Pr47☆21Updated last year
- Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆15Updated 3 months ago
- ☆12Updated 3 years ago
- ☆13Updated 3 years ago
- 入墨答Rumbda, the Chinese expression of lambda calculus☆65Updated last year
- A LR(1) parser generator targeting C++17.☆13Updated 4 years ago
- 试图用 OpenGL 3.3 画个可爱(?大概吧)的小机器人。☆17Updated last month
- Diana... 🥳🥳🥳Diana, suki🤤🤤🤤☆11Updated 3 years ago
- 第三次重构!☆16Updated 4 years ago
- A modern functional programming language with effect system.☆19Updated 8 months ago
- A toy IO library for Arend☆18Updated 3 years ago
- a simple programming language under development☆11Updated last year
- ☆23Updated last year
- My type-ups for copilot to learn from.☆11Updated 2 years ago
- yggdrasil compiler with rust runtime☆23Updated 9 months ago
- Neon lights in the night tonight and stars that shine in the open sky☆43Updated last year
- only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy☆52Updated last year
- Rust binding for tcc☆14Updated last year
- 🍎 Play Bad Apple! with Haskell☆15Updated 2 years ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Updated 4 years ago
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Updated 4 years ago
- A Minimalist PDF Viewer in Rust☆11Updated last year