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 6 months ago
- ☆31Aug 19, 2022Updated 3 years ago
- Cache server :)☆32Sep 5, 2023Updated 2 years ago
- A colorful CLI client with icons for accessing data via OpenDAL☆36Dec 27, 2023Updated 2 years ago
- We have Crater At Home☆38Oct 26, 2024Updated last year
- Shared Unit Raft☆83Dec 3, 2024Updated last year
- SIGPLAN website☆13Updated this week
- 马克思主义哲学：从《黑格尔法哲学批判》到《资本论》☆17Jul 13, 2024Updated last year
- A course for Mao Yisheng College of SWJTU☆11Mar 28, 2020Updated 5 years ago
- LLVM Essentials 中文版☆12Feb 18, 2025Updated last year
- Wait for async tasks☆13Dec 22, 2022Updated 3 years ago
- A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.☆34Feb 25, 2026Updated last week
- VibeTrader - Toward an open source AI-friendly trading platform.☆29Updated this week
- http://os.cs.tsinghua.edu.cn/research/FrontPage#A.2BZyx50WvVi74-☆17Jan 3, 2025Updated last year
- Pratt parser written in Rust☆99Nov 10, 2023Updated 2 years ago
- A super-simple compiler demoing how to talk to LLVM from Rust☆97Jul 4, 2016Updated 9 years ago
- go编译器编译过程,主要学习go语法分析,AST,SSA分析。以便更好的理解Go☆12Feb 5, 2022Updated 4 years ago
- gdb pretty printer for llvm's libcxx☆11Mar 9, 2018Updated 8 years ago
- The CompCert formally-verified C compiler☆10Updated this week
- Dumb downloader that scrapes the web☆11Sep 3, 2024Updated last year
- LaTeX 讲座资料☆12Apr 7, 2022Updated 3 years ago
- Third-party dependencies for Apache Ratis☆13Feb 8, 2026Updated last month
- ChatGPT的提问艺术☆12Mar 31, 2023Updated 2 years ago
- Texture Block Compression (BCn) written in Rust☆11Apr 12, 2021Updated 4 years ago
- Higher level WASM library for Rust☆10Dec 11, 2024Updated last year
- ☆10Jun 28, 2024Updated last year
- Example for writing a simple parser using Nom and Rust☆10Nov 19, 2020Updated 5 years ago
- Raster processing library and tools written in rust☆13Jun 23, 2024Updated last year
- Concurrency algorithms☆11Apr 7, 2025Updated 11 months ago
- Repository for (for now) filing bug reports about PLAI.☆14Jul 5, 2025Updated 8 months ago
- An efficient runtime for asynchronous applications in Rust.☆43Nov 8, 2022Updated 3 years ago
- Versatile spritesheet manifest loader for bevy☆13Jan 25, 2026Updated last month
- Implementation of lua virtual machine☆11Jan 22, 2018Updated 8 years ago
- A super simple java tool that allows you to run a task from a web browser and see the output in real time.☆12Mar 3, 2025Updated last year