xzhseh / stlc-in-a-week
Write yourself a simply-typed lambda calculus using Rust in a week!
☆12Updated 10 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
- A bridge between different serde implementations.☆16Updated last month
- Lox language interpreter written in Rust☆19Updated 5 months ago
- 洛佳的异步内核实验室,第二版☆13Updated 3 years ago
- ☆27Updated 2 years ago
- All-in-one mirror utility for SJTUG mirror☆52Updated 8 months ago
- Parser Combinator ver. Rust☆15Updated 4 years ago
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Updated 4 years ago
- Next-GEN Confguration Template Generation Language☆12Updated 2 years ago
- A fast multi-threaded base64 encoding / decoding library and CLI tool, made in Rust.☆12Updated last year
- Where is my space?☆33Updated this week
- A concurrent GC.☆43Updated 2 years ago
- 🦙🦙.🦀☆27Updated last year
- A type-driven and high-performance ORM framework in Rust☆25Updated 3 years ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- How many interface{} are there in your project?☆16Updated 3 years ago
- A binary representation of json value, optimized for parsing and querying.☆22Updated 10 months ago
- The cold linker☆69Updated 9 months ago
- Nugine 的个人博客☆11Updated last week
- Mea provides async primitives and combinators that are runtime agnostic.☆28Updated 2 weeks ago
- A procedural macro for defining nom combinators in simple DSL☆45Updated last month
- a simple programming language under development☆11Updated last year
- An x86-64 kernel with ~100% Rust (originally) in a week. `async` inside!☆53Updated 2 years ago
- An HTTP library based on compio and hyper.☆23Updated last week
- ☆42Updated last year
- A memcomparable serialization format.☆23Updated last year
- A multi-threaded, persistent key/value store☆17Updated 4 years ago
- async actor framework☆37Updated 2 years ago