xzhseh / stlc-in-a-week
Write yourself a simply-typed lambda calculus using Rust in a week!
☆12Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for stlc-in-a-week
- Pretty printing library for SQL☆24Updated last year
- Lox language interpreter written in Rust☆17Updated 3 weeks ago
- A box with vtable, erasing the type of the contained object☆9Updated 9 months ago
- ioring wrapper for windows-rs☆21Updated 2 years ago
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Updated 3 years ago
- ☆27Updated 2 years ago
- A bridge between different serde implementations.☆16Updated last year
- A Minimalist PDF Viewer in Rust☆11Updated 11 months ago
- All-in-one mirror utility for SJTUG mirror☆48Updated 4 months ago
- A fast multi-threaded base64 encoding / decoding library and CLI tool, made in Rust.☆12Updated last year
- A concurrent GC.☆42Updated 2 years ago
- 洛佳的异步内核实验室,第二版☆13Updated 3 years ago
- An x86-64 kernel with ~100% Rust (originally) in a week. `async` inside!☆53Updated 2 years ago
- Where is my space?☆27Updated 6 months ago
- 🦙🦙.🦀☆27Updated last year
- Just for fun riscv64 emulator, which boots the Linux.☆40Updated last year
- The cold linker☆67Updated 5 months ago
- A binary representation of json value, optimized for parsing and querying.☆22Updated 5 months ago
- TiSpace manages VMs in K8s for developers☆14Updated this week
- RustTalk 是一档专注在 Rust 社区的程序员闲聊节目。微信公众号:RustTalk☆11Updated 3 months ago
- a simple programming language under development☆11Updated 11 months ago
- Parser Combinator ver. Rust☆15Updated 4 years ago
- Mea provides async utilities that are runtime agnostic.☆11Updated last week
- Nugine 的个人博客☆11Updated 2 weeks ago
- A procedural macro for defining nom combinators in simple DSL☆43Updated last month
- Next-GEN Confguration Template Generation Language☆12Updated 2 years ago
- A reimplementation of the Flap parser in Rust (with our own modifications applied)!☆53Updated 7 months ago
- The TiKV development/contribution guide☆34Updated 2 years ago
- ☆32Updated 9 months ago