DeathKing / SICPxShanghai
2015年8月1日上海，SICP读书讨论、函数式程序设计及程序设计语言理论交流分享会。
☆12Updated 9 years ago
Related projects: ⓘ
- ☆10Updated this week
- This repo keeps track of my codes, answers and thinkings when exploring books.☆24Updated 3 years ago
- ☆34Updated this week
- This is source code of my book.☆67Updated 7 years ago
- a compiler from a subset of Scheme into X64☆29Updated 10 years ago
- 主动挖坑并打算努力填坑的一个简陋的Lisp解释器☆33Updated last year
- ☆28Updated 7 years ago
- ☆39Updated this week
- 基于鸭子编译器写的os☆22Updated 3 years ago
- ☆85Updated this week
- ☆14Updated this week
- ☆15Updated this week
- ☆74Updated this week
- miniKanren with a constraint-based negation operator☆10Updated 10 years ago
- ☆19Updated 8 years ago
- ☆46Updated this week
- Genius programmer should write his own lisp!☆50Updated this week
- Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)☆6Updated 2 years ago
- 《How to Design Program》《build your own lisp》《The Scheme Program Language》 TSPL HTDP☆25Updated 2 years ago
- 哈尔滨工业大学《数据结构与算法》、《软件开发实践》作业及实验的Scheme解法。☆82Updated 10 years ago
- The Scheme Programming Language - ZhCN☆42Updated 3 months ago
- Some Code from my Grad School Courses☆107Updated 12 years ago
- ☆23Updated this week
- ☆79Updated 6 years ago
- four-country war game (Chinese-4-Stratego), a little practice using Racket to do real-world programming☆8Updated 7 years ago
- functional logic solver and compiler☆26Updated 8 years ago
- scheme to x64 compiler☆10Updated 5 years ago
- a language-aware tool for comparing programs☆28Updated 13 years ago
- scheme解释器 / scheme interpreter☆12Updated 8 years ago
- Go! Lisp in OCaml☆75Updated 11 years ago