imlyzh / emei
The 峨眉 (EMei) JIT/AOT backend framework.
☆18Updated 3 months ago
Alternatives and similar repositories for emei:
Users that are interested in emei are comparing it to the libraries listed below
- A well-documented minimal dependently-typed language for my friend Lyzh☆24Updated 2 weeks ago
- Zombie chan revive!☆24Updated 11 months ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- A type-driven and high-performance ORM framework in Rust☆25Updated 3 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Updated 2 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆15Updated this week
- 入墨答Rumbda, the Chinese expression of lambda calculus☆65Updated last year
- ☆12Updated 2 years ago
- A modern functional programming language with effect system.☆19Updated 10 months ago
- Next-GEN Confguration Template Generation Language☆12Updated 2 years ago
- 试图用 OpenGL 3.3 画个可爱（？大概吧）的小机器人。☆17Updated 2 months ago
- The formal development repository for Pr47☆21Updated 2 years ago
- only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy☆52Updated last year
- Anti-Indulged for IntelliJ Platform (AI4IJ)☆26Updated 4 years ago
- My type-ups for copilot to learn from.☆11Updated 2 years ago
- ShiTT is a toy proof assistant. (This project will be rewritten soon)☆33Updated 3 months ago
- yggdrasil compiler with rust runtime☆23Updated 10 months ago
- ☆13Updated 3 years ago
- mirai-rs is a mirai-api-http client implementation written in Rust☆25Updated 4 years ago
- Some experimental Typst files.☆14Updated last year
- 在 Telegram 上快速模仿迟先生卖弱。☆16Updated last week
- Diana... 🥳🥳🥳Diana, suki🤤🤤🤤☆11Updated 3 years ago
- ☆24Updated last year
- 🍎 Play Bad Apple! with Haskell☆15Updated 2 years ago
- Talking about classical logic and abstract algebra in Haskell☆14Updated 4 years ago
- ☆12Updated 3 years ago
- 豫言☆27Updated 3 months ago
- Neon lights in the night tonight and stars that shine in the open sky☆43Updated last year