spiritbear / Grad-School-Code
Some Code from my Grad School Courses
☆107Updated 13 years ago
Alternatives and similar repositories for Grad-School-Code:
Users that are interested in Grad-School-Code are comparing it to the libraries listed below
- A Scheme to x86-64 compiler in Scheme☆78Updated 9 years ago
- A compiler from Scheme into X64☆189Updated 10 years ago
- Genius programmer should write his own lisp!☆52Updated this week
- Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.☆133Updated 10 years ago
- R6RS 简体中文翻译☆79Updated 7 years ago
- A File Manager for DrRacket☆84Updated last year
- The Scheme Programming Language - ZhCN☆42Updated 7 months ago
- ☆40Updated 3 years ago
- a compiler from a subset of Scheme into X64☆239Updated 5 years ago
- The compiler for subset of scheme developed as part of P523☆30Updated 7 years ago
- Chez Scheme Version 9 User's Guide - Zhcn☆61Updated 3 years ago
- Racket指南(中文翻译)☆170Updated 6 years ago
- Programming Languages: Application and Interpretation☆243Updated last year
- Public helper code for p423/p523 students (Racket)☆160Updated last month
- stex: stex to latex and latex to html converters and associated tools☆84Updated last year
- ☆37Updated 2 months ago
- 基于鸭子编译器写的os☆22Updated 4 years ago
- https://openpal.github.io/TypeAndProof/☆100Updated 7 years ago
- OOPLAI中文翻译☆33Updated last year
- miniKanren with a constraint-based negation operator☆10Updated 10 years ago
- ☆16Updated 4 years ago
- A Scheme interpreter base on R5RS specification.☆51Updated 4 years ago
- ☆148Updated 8 years ago
- Really mini operating system (extracted from xen-unstable, and much stuff removed)☆191Updated 12 years ago
- Implementations of the compilers and VMs from R. Kent Dybvig's "Three Implementation Models for Scheme." Each file is named after the se…☆21Updated 14 years ago
- Magical Book The book uses dialects Scheme in the programming language Lisp to explain the core concepts of computer science, including a…☆201Updated 5 years ago
- 编译原理相关的工作岗位收集☆85Updated 6 years ago
- Chez Scheme☆37Updated 2 years ago