xzhseh / stlc-in-a-week
Write yourself a simply-typed lambda calculus using Rust in a week!
☆12Updated 8 months ago
Alternatives and similar repositories for stlc-in-a-week:
Users that are interested in stlc-in-a-week are comparing it to the libraries listed below
- Pretty printing library for SQL☆24Updated last year
- A Minimalist PDF Viewer in Rust☆11Updated last year
- 洛佳的异步内核实验室,第二版☆13Updated 3 years ago
- Lox language interpreter written in Rust☆18Updated 2 months ago
- A bridge between different serde implementations.☆16Updated last year
- A box with vtable, erasing the type of the contained object☆9Updated 11 months ago
- ioring wrapper for windows-rs☆21Updated 2 years ago
- 🦙🦙.🦀☆27Updated last year
- Parser Combinator ver. Rust☆15Updated 4 years ago
- A concurrent GC.☆42Updated 2 years ago
- ☆27Updated 2 years ago
- Where is my space?☆31Updated 8 months ago
- The cold linker☆68Updated 7 months ago
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Updated 4 years ago
- All-in-one mirror utility for SJTUG mirror☆48Updated 6 months ago
- A binary representation of json value, optimized for parsing and querying.☆22Updated 7 months ago
- A fast multi-threaded base64 encoding / decoding library and CLI tool, made in Rust.☆12Updated last year
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- Next-GEN Confguration Template Generation Language☆12Updated 2 years ago
- Mea provides async primitives and combinators that are runtime agnostic.☆14Updated last week
- How many interface{} are there in your project?☆16Updated 3 years ago
- The formal development repository for Pr47☆21Updated last year
- a simple programming language under development☆11Updated last year
- Nugine 的个人博客☆11Updated 2 weeks ago
- A type-driven and high-performance ORM framework in Rust☆25Updated 2 years ago
- Versatile parser for arithmetic expressions☆9Updated this week
- A reimplementation of the Flap parser in Rust (with our own modifications applied)!☆53Updated 9 months ago
- async actor framework☆37Updated 2 years ago
- 0-unsafe Linked HashMap☆13Updated 4 years ago
- TiSpace manages VMs in K8s for developers☆14Updated 2 months ago