DeathKing / SICPxShanghaiLinks
2015年8月1日上海,SICP读书讨论、函数式程序设计及程序设计语言理论交流分享会。
☆12Updated 9 years ago
Alternatives and similar repositories for SICPxShanghai
Users that are interested in SICPxShanghai are comparing it to the libraries listed below
Sorting:
- This is source code of my book.☆67Updated 8 years ago
- a compiler from a subset of Scheme into X64☆30Updated 11 years ago
- This repo keeps track of my codes, answers and thinkings when exploring books.☆24Updated 4 years ago
- four-country war game (Chinese-4-Stratego), a little practice using Racket to do real-world programming☆8Updated 8 years ago
- ☆146Updated 9 years ago
- 基于鸭子编译器写的os☆22Updated 4 years ago
- the Yin programming language☆7Updated 10 years ago
- a customizable and extensible language with dynamic parser and meta compilation.☆65Updated 9 years ago
- Python实现的Scheme方言,支持宏、continuation、lambda、各种基本类型等等,可以直接Python解释执行,也可以编译到JavaScript。编译到JS可以与JavaScript动态交互(互相调用)☆21Updated 11 years ago
- Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)☆7Updated 3 years ago
- miniKanren with a constraint-based negation operator☆10Updated 11 years ago
- They contain so few lines of code, yet so few people get them right.☆38Updated 11 years ago
- ☆28Updated 8 years ago
- ☆78Updated 7 years ago
- 哈尔滨工业大学《数据结构与算法》、《软件开发实践》作业及实验的Scheme解法。☆82Updated 11 years ago
- ☆39Updated 3 weeks ago
- ☆14Updated 9 years ago
- 《How to Design Program》《build your own lisp》《The Scheme Program Language》 TSPL HTDP☆27Updated 3 years ago
- ☆19Updated 9 years ago
- a Haskell implementation of Deep Learning frameworks.☆12Updated 9 years ago
- The Scheme Programming Language - ZhCN☆44Updated 3 months ago
- some old code about scheme compiler I've ever wrote☆14Updated 2 years ago
- Introduction to Programming☆58Updated 4 months ago
- R6RS 简体中文翻译☆80Updated 8 years ago
- Bytecode compiler of a variant of Caml☆34Updated 10 years ago
- A Scheme to x86-64 compiler in Scheme☆79Updated 10 years ago
- Go! Lisp in OCaml☆75Updated 12 years ago
- Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.☆134Updated 10 years ago
- ☆50Updated 12 years ago
- functional logic solver and compiler☆26Updated 9 years ago