xzhseh / stlc-in-a-weekLinks
Write yourself a simply-typed lambda calculus using Rust in a week!
☆13Updated last year
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
Sorting:
- Pretty printing library for SQL☆24Updated 2 years ago
- Lox language interpreter written in Rust☆19Updated 9 months ago
- A concurrent GC.☆43Updated 3 years ago
- ioring wrapper for windows-rs☆22Updated 2 years ago
- ☆26Updated 3 years ago
- 洛佳的异步内核实验室,第二版☆13Updated 4 years ago
- Where is my space?☆36Updated 4 months ago
- A fast multi-threaded base64 encoding / decoding library and CLI tool, made in Rust.☆12Updated last year
- Parser Combinator ver. Rust☆15Updated 5 years ago
- The cold linker☆72Updated last year
- A bridge between different serde implementations.☆16Updated 5 months ago
- A procedural macro for defining nom combinators in simple DSL☆45Updated 6 months ago
- hdfs client impl with pure rust☆16Updated last year
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Updated 4 years ago
- Nugine 的个人博客☆11Updated last month
- ☆43Updated 2 years ago
- An x86-64 kernel with ~100% Rust (originally) in a week. `async` inside!☆53Updated 3 years ago
- BzTree implementation for Rust☆35Updated 2 years ago
- ☆33Updated last year
- A reimplementation of the Flap parser in Rust (with our own modifications applied)!☆53Updated last year
- Mea provides async primitives and combinators that are runtime agnostic.☆52Updated this week
- ☆46Updated 2 years ago
- Next-GEN Confguration Template Generation Language☆12Updated 3 years ago
- ☆25Updated last year
- rust-writing-os course of https://rust.os2edu.cn☆11Updated 3 years ago
- async actor framework☆37Updated 3 years ago
- ⚙️ Bugen's toy OS kernel for x86 systems implemented in modern C++. [WIP]☆9Updated 3 years ago
- A super-simple compiler demoing how to talk to LLVM from Rust☆96Updated 9 years ago
- A SQL database☆89Updated 2 years ago
- Use io_uring from vanilla tokio.☆49Updated 2 months ago