LighghtEeloo / charcoal
An online dictionary using youdao dict api. Inspired by wudao-dict.
☆13Updated 10 months ago
Alternatives and similar repositories for charcoal:
Users that are interested in charcoal are comparing it to the libraries listed below
- [WIP] An expression based data notation, aimed at transpiling itself to any cascaded data notation.☆37Updated 2 years ago
- pastebin written in pure rust. A rewrite of ptpb/pb.☆43Updated 2 years ago
- Library for generating/parsing/optimizing Koopa IR.☆110Updated 2 months ago
- ntype cafe summer school resources☆137Updated 8 months ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.☆49Updated 2 years ago
- The MiniDecaf tutorial documentation.☆94Updated 2 months ago
- 快速陷入处理☆34Updated last week
- The example SysY compiler Kira for PKU compiler course, written in Rust.☆59Updated last year
- ☆22Updated last year
- Verification and optimization tool for concurrent code☆23Updated 2 weeks ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Updated 4 years ago
- The Decaf compiler, written in Rust☆56Updated 5 years ago
- Warning: 🕳 ahead!☆16Updated 5 years ago
- 十分钟魔法练习 in OCaml☆33Updated 2 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆16Updated 2 years ago
- Apple Silicon TSO Enabler for Linux☆16Updated last year
- Framework of pa code for THU compiler principle course.☆13Updated 5 years ago
- The cold linker☆68Updated 8 months ago
- raytracer project for PPCA 2020☆63Updated 3 years ago
- Asynchronous OS kernel written in Rust.☆33Updated 4 years ago
- 豫言☆27Updated 3 months ago
- 没分支的 rCore-Tutorial☆44Updated 2 years ago
- Handle TrapFrame across kernel and user space on multiple ISAs.☆31Updated 7 months ago
- Write yourself a simply-typed lambda calculus using Rust in a week!☆12Updated 9 months ago
- Forge wonderful chat messages in typst☆83Updated last month
- ☆24Updated last year
- Build lexers and parsers by deriving traits.☆22Updated last year
- A repo to store the compiler project☆74Updated 2 years ago
- An awesome language and its compiler.☆33Updated 2 years ago