Pivot-Studio / pivot-lang
A Rust-like language with immix gc and other cool stuffs
☆55Updated this week
Related projects: ⓘ
- Library for generating/parsing/optimizing Koopa IR.☆99Updated 5 months ago
- Learn how to write a minimal working linker from scratch☆94Updated 4 months ago
- 华中科技大学Linux协会(HUSTLUG)开源镜像站☆14Updated 10 months ago
- 豫言☆27Updated 6 months ago
- The example SysY compiler Kira for PKU compiler course, written in Rust.☆47Updated last year
- A Simple Programming Language powered by XLex and XParse☆12Updated last year
- The Yu (羽) programming language.☆74Updated last year
- A well-documented minimal dependently-typed language for my friend Lyzh☆24Updated last month
- ☆26Updated this week
- RowScript programming language, making a better browser world☆105Updated last month
- 🦀️ Operating System in 100% Pure Rust☆100Updated 3 years ago
- Just for fun riscv64 emulator, which boots the Linux.☆40Updated last year
- a simple pl/0 compiler implemented in rust.☆30Updated 3 months ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台☆193Updated 2 years ago
- A simple lua jit implemented in Rust for HUST-Complier principle course.☆12Updated 3 years ago
- A modern functional programming language with effect system.☆19Updated 4 months ago
- ntype cafe summer school resources☆136Updated 3 months ago
- 🍋 A Rust/Swift-like modern interpreted programming language. First-class functions, first-class expressions, and functional techniques i…☆9Updated 3 years ago
- A toy C compiler that compatible with C23 and can do limited optimizations☆41Updated 3 months ago
- A similarity measurer on two programming assignments on Online Judge.☆9Updated last year
- This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…☆24Updated 3 years ago
- 入墨答Rumbda, the Chinese expression of lambda calculus☆64Updated last year
- Lean 函数式编程☆25Updated last month
- Cicada Language (PLCT little team)☆91Updated 4 months ago
- Papers We Love on Compilers☆23Updated last year
- Books on programming language theory and linguistics in general.☆47Updated 3 years ago
- blog with go☆11Updated last year
- ☆22Updated 7 months ago
- The MiniDecaf tutorial documentation.☆88Updated this week
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆11Updated last year