Alternatives and similar repositories for SICPxShanghai

Users that are interested in SICPxShanghai are comparing it to the libraries listed below

• HaskellZhangSong / Introduction_to_Haskell
  This is source code of my book.
  ☆67Updated 8 years ago
• Javran / Thinking-dumps
  This repo keeps track of my codes, answers and thinkings when exploring books.
  ☆24Updated 4 years ago
• rniczh / rcis
  scheme to x64 compiler
  ☆11Updated 6 years ago
• ultimate-lambda / book-reviews
  ☆146Updated 9 years ago
• evilbinary / duck-os
  基于鸭子编译器写的os
  ☆22Updated 4 years ago
• IntroToProgramming / IntroductionToProgramming
  Introduction to Programming
  ☆58Updated 3 months ago
• kztao / yscheme
  a compiler from a subset of Scheme into X64
  ☆30Updated 11 years ago
• tianyicui / golio
  Go! Lisp in OCaml
  ☆75Updated 12 years ago
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆79Updated 10 years ago
• Milesturing / 4go
  four-country war game (Chinese-4-Stratego), a little practice using Racket to do real-world programming
  ☆8Updated 8 years ago
• pavenvivek / Compiler-for-Scheme
  The compiler for subset of scheme developed as part of P523
  ☆30Updated 8 years ago
• racket / eopl
  ☆39Updated 2 months ago
• webyrd / miniKanren
  Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.
  ☆134Updated 10 years ago
• flaneur2020 / lyah
  learn you a haskell for great good 中文版
  ☆146Updated 3 years ago
• yinwang0 / ykanren
  miniKanren with a constraint-based negation operator
  ☆10Updated 11 years ago
• uternet / tspl-cn
  ☆28Updated 8 years ago
• bdj / dybvig-three-imp
  Implementations of the compilers and VMs from R. Kent Dybvig's "Three Implementation Models for Scheme." Each file is named after the se…
  ☆21Updated 15 years ago
• binghe / HOL-CCS
  Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)
  ☆6Updated 3 years ago
• dybvig / stex
  stex: stex to latex and latex to html converters and associated tools
  ☆88Updated last year
• binghe / informatica-public
  Public code developed during my MSc study at University of Bologna
  ☆76Updated 2 years ago
• soimort / wiki
  ☆78Updated 7 years ago
• thautwarm / simple-pl-example
  Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.
  ☆16Updated 3 years ago
• DeathKing / Hit-DataStructure-On-Scheme
  哈尔滨工业大学《数据结构与算法》、《软件开发实践》作业及实验的Scheme解法。
  ☆82Updated 11 years ago
• OpenPAL / TypeAndProof
  https://openpal.github.io/TypeAndProof/
  ☆99Updated 7 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• moevis / Kaleidoscope-LLVM-tutorial-zh-cn
  Kaleidoscope tutorial chinese translatio。 Kaleidoscope-llvm教程文档中文翻译。
  ☆56Updated 10 years ago
• jks-liu / R6RS.zh-cn
  R6RS 简体中文翻译
  ☆80Updated 8 years ago
• guenchi / TSPL
  The Scheme Programming Language - ZhCN
  ☆44Updated 3 months ago
• shenxs / about-scheme
  《How to Design Program》《build your own lisp》《The Scheme Program Language》 TSPL HTDP
  ☆27Updated 3 years ago
• evilbinary / duck-compiler
  🦆鸭子编译器
  ☆21Updated 4 years ago