xzhseh / stlc-in-a-week
Write yourself a simply-typed lambda calculus using Rust in a week!
☆12Updated 11 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
- ioring wrapper for windows-rs☆21Updated 2 years ago
- A box with vtable, erasing the type of the contained object☆9Updated last year
- Lox language interpreter written in Rust☆19Updated 6 months ago
- A binary representation of json value, optimized for parsing and querying.☆22Updated 11 months ago
- A concurrent GC.☆43Updated 2 years ago
- 洛佳的异步内核实验室,第二版☆13Updated 3 years ago
- Where is my space?☆35Updated last month
- Parser Combinator ver. Rust☆15Updated 4 years ago
- ☆27Updated 2 years ago
- A bridge between different serde implementations.☆16Updated 2 months ago
- A procedural macro for defining nom combinators in simple DSL☆45Updated 3 months ago
- Nugine 的个人博客☆11Updated this week
- A fast multi-threaded base64 encoding / decoding library and CLI tool, made in Rust.☆12Updated last year
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Updated 4 years ago
- A type-driven and high-performance ORM framework in Rust☆25Updated 3 years ago
- All-in-one mirror utility for SJTUG mirror☆51Updated 9 months ago
- Next-GEN Confguration Template Generation Language☆12Updated 2 years ago
- 🦙🦙.🦀☆27Updated last year
- The cold linker☆70Updated 10 months ago
- 自嗨虚拟化软件 - 'Enjoy yourself' type-1 hypervisor software☆25Updated 3 years ago
- How many interface{} are there in your project?☆16Updated 3 years ago
- Mea provides async primitives and combinators that are runtime agnostic.☆32Updated last week
- async actor framework☆37Updated 2 years ago
- ☆33Updated last year
- ☆25Updated last year
- ☆43Updated 2 years ago
- a simple programming language under development☆11Updated last year
- RustTalk 是一档专注在 Rust 社区的程序员闲聊节目。微信公众号:RustTalk☆12Updated 3 months ago
- A Register Based VM. 柠檬手写的看起来像栈机的寄存器机☆65Updated 4 years ago