yjl9903 / XLangLinks
A Simple Programming Language powered by XLex and XParse
☆12Updated last year
Alternatives and similar repositories for XLang
Users that are interested in XLang are comparing it to the libraries listed below
Sorting:
- GOJ在线评测系统☆19Updated 2 weeks ago
- A similarity measurer on two programming assignments on Online Judge.☆9Updated 2 years ago
- ☆59Updated last month
- A Rust-like language with immix GC and other cool stuffs☆72Updated 3 weeks ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- C-like language compiler, the final project of ZJU Compiler Principle course☆43Updated 2 years ago
- 🍋 A Rust/Swift-like modern interpreted programming language. First-class functions, first-class expressions, and functional techniques i…☆9Updated 4 years ago
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆62Updated 2 months ago
- A toy C compiler that compatible with C23 and can do limited optimizations☆55Updated 6 months ago
- Rust binding for tcc☆14Updated last year
- ☆17Updated 6 months ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Updated 5 years ago
- Yet Yet Another Compiler Compiler | 一个编译器前端框架☆17Updated last year
- Zombie chan revive!☆26Updated last year
- AStyle code formatter compiled to WebAssembly, for Node.js and the browser.☆19Updated last year
- RowScript programming language, making a better browser world☆121Updated this week
- [WIP] An expression based data notation, aimed at transpiling itself to any cascaded data notation.☆39Updated 2 years ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Updated 4 months ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 3 years ago
- 入墨答Rumbda, the Chinese expression of lambda calculus☆64Updated 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…☆11Updated 4 years ago
- Library for generating/parsing/optimizing Koopa IR.☆122Updated 6 months ago
- 《Static Single Assignment Book》- 中文翻译☆31Updated 2 years ago
- Write yourself a simply-typed lambda calculus using Rust in a week!☆13Updated last year
- The formal development repository for Pr47☆21Updated 2 years ago
- A type-driven and high-performance ORM framework in Rust☆25Updated 3 years ago
- Yet another python JIT.☆20Updated 2 years ago
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆12Updated 2 years ago
- ☆80Updated 4 years ago
- Books on programming language theory and linguistics in general.☆54Updated 3 years ago