ustc-pldpa / PFPLLinks
Practical Foundations for Programming Languages 2nd. R.Harper. Chinese Translation.
☆14Updated 6 years ago
Alternatives and similar repositories for PFPL
Users that are interested in PFPL are comparing it to the libraries listed below
Sorting:
- 编译原理相关的工作岗位收集☆87Updated 6 years ago
- ☆11Updated 2 months ago
- The compiler for subset of scheme developed as part of P523☆30Updated 8 years ago
- 基于鸭子编译器写的os☆22Updated 4 years ago
- A handwritten Brainfuck JIT interpreter, mainly used for demonstration.☆47Updated last year
- 十分钟魔法练习 in OCaml☆33Updated 3 years ago
- 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
- Deeplang is a new language for IoT device programming.☆81Updated 2 years ago
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Updated 6 years ago
- This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…☆26Updated 4 years ago
- P523 Code☆27Updated 10 years ago
- Genius programmer should write his own lisp!☆56Updated last week
- A Scheme to x86-64 compiler in Scheme☆79Updated 10 years ago
- 🦆鸭子编译器☆21Updated 4 years ago
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆29Updated 5 years ago
- Public helper code for p423/p523 students (Racket)☆164Updated 5 months ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆16Updated 2 months ago
- The Dragon Virtual Machine.☆10Updated 7 years ago
- Learn how to write a minimal working linker from scratch☆102Updated last year
- A compiler for higher rank ML with type classes☆13Updated 4 years ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- 北大编译课程实践,独立完成的C语言子集SysY编译器,实现了从C语言编译到Koopa IR,再从Koopa IR编译到RISC-V汇编的实现☆30Updated 10 months ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Updated 5 years ago
- some old code about scheme compiler I've ever wrote☆14Updated 2 years ago
- a compiler from a subset of Scheme into X64☆30Updated 11 years ago
- Books on programming language theory and linguistics in general.☆53Updated 3 years ago
- Chez Scheme☆14Updated last month
- ☆43Updated 4 months ago
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆62Updated 2 months ago
- HaScheme is a Scheme interpreter written by Haskell.☆11Updated 8 years ago