xzhseh / stlc-in-a-weekView external linksLinks
Write yourself a simply-typed lambda calculus using Rust in a week!
☆13May 13, 2024Updated 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:
- Toy prototype for a distributed computing system in C++☆18Nov 26, 2014Updated 11 years ago
- Relational Database Server with Integrated Version Control☆23Dec 20, 2022Updated 3 years ago
- [WIP] A small implementation of the TCP/IP protocol stack written in Rust☆23Jun 16, 2023Updated 2 years ago
- ☆26May 22, 2022Updated 3 years ago
- Golang like WaitGroup implementation for sync/async Rust, support no_std environment.☆37Oct 6, 2024Updated last year
- BzTree implementation for Rust☆37Aug 19, 2025Updated 5 months ago
- ☆31Aug 19, 2022Updated 3 years ago
- A colorful CLI client with icons for accessing data via OpenDAL☆36Dec 27, 2023Updated 2 years ago
- We have Crater At Home☆37Oct 26, 2024Updated last year
- Cache server :)☆32Sep 5, 2023Updated 2 years ago
- 马克思主义哲学:从《黑格尔法哲学批判》到《资本论》☆16Jul 13, 2024Updated last year
- Shared Unit Raft☆83Dec 3, 2024Updated last year
- LLVM Essentials 中文版☆12Feb 18, 2025Updated 11 months ago
- SIGPLAN website☆13Feb 11, 2026Updated last week
- A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.☆32Feb 10, 2026Updated last week
- Wait for async tasks☆13Dec 22, 2022Updated 3 years ago
- A course for Mao Yisheng College of SWJTU☆11Mar 28, 2020Updated 5 years ago
- http://os.cs.tsinghua.edu.cn/research/FrontPage#A.2BZyx50WvVi74-☆17Jan 3, 2025Updated last year
- Pratt parser written in Rust☆98Nov 10, 2023Updated 2 years ago
- A super-simple compiler demoing how to talk to LLVM from Rust☆97Jul 4, 2016Updated 9 years ago
- Implementation of lua virtual machine☆11Jan 22, 2018Updated 8 years ago
- The repository for the book "The Node Experiment - Exploring Async Basics with Rust"☆15Oct 9, 2019Updated 6 years ago
- An efficient runtime for asynchronous applications in Rust.☆43Nov 8, 2022Updated 3 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Jun 12, 2018Updated 7 years ago
- Low-level io_uring interface, transliterated from Jens Axboe's liburing.☆20Feb 8, 2026Updated last week
- A small markdown TUI note keeper☆15Apr 7, 2025Updated 10 months ago
- Building a toy OS in Rust.☆13Sep 14, 2016Updated 9 years ago
- ☆15May 2, 2023Updated 2 years ago
- "Building Distributed Systems with Stateright"☆15Jul 28, 2025Updated 6 months ago
- A lightweight tunnel proxy, just a toy☆10Apr 6, 2015Updated 10 years ago
- ☆12Aug 14, 2025Updated 6 months ago
- Nugine 的个人博客☆11Feb 1, 2026Updated 2 weeks ago
- Flutter package to get keyboard height. Can be used to display a sticker/emoji modal with correct height.☆14Mar 13, 2022Updated 3 years ago
- Arithmetic in Rust's Type System☆11Feb 18, 2024Updated last year
- vprix虚拟桌面项目init程序☆11Jul 1, 2022Updated 3 years ago
- dump network packet and log to database☆10Jul 24, 2022Updated 3 years ago
- DEFLATE/zlib compression and decompression for Rust.☆12Jan 3, 2025Updated last year
- The CompCert formally-verified C compiler☆10Feb 9, 2026Updated last week
- LaTeX 讲座资料☆12Apr 7, 2022Updated 3 years ago