mrmathematica / ooplai-zh
OOPLAI中文翻译
☆33Updated last year
Alternatives and similar repositories for ooplai-zh:
Users that are interested in ooplai-zh are comparing it to the libraries listed below
- R6RS 简体中文翻译☆80Updated 7 years ago
- Some Code from my Grad School Courses☆107Updated 13 years ago
- Programming Languages: Application and Interpretation☆244Updated last year
- Genius programmer should write his own lisp!☆55Updated this week
- A Scheme interpreter base on R5RS specification.☆53Updated 4 years ago
- learn you a haskell for great good 中文版☆147Updated 3 years ago
- ☆28Updated 7 years ago
- The Scheme Programming Language - ZhCN☆43Updated last month
- A collection of articles written by YinWang☆138Updated 10 months ago
- A Chinese translation of "teach-yourself-scheme-in-fixnum-days"☆183Updated 4 years ago
- 基于鸭子编译器写的os☆22Updated 4 years ago
- ☆40Updated 3 years ago
- A Scheme to x86-64 compiler in Scheme☆78Updated 9 years ago
- Magical Book The book uses dialects Scheme in the programming language Lisp to explain the core concepts of computer science, including a…☆230Updated 5 years ago
- Chez Scheme Version 9 User's Guide - Zhcn☆61Updated 3 years ago
- 这是Haskell函数式编程入门第2版的源码☆81Updated 7 years ago
- The Make-A-Lisp Process 中文翻译,如何写一个Lisp解释器☆167Updated last year
- ☆38Updated 3 weeks ago
- Racket指南(中文翻译)☆170Updated 7 years ago
- 基于scheme开发的鸭子编辑器☆197Updated 4 years ago
- ☆148Updated 8 years ago
- Scheme语言实现和运行时环境 / Scheme runtime & implementation☆66Updated last year
- Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.☆134Updated 10 years ago
- A compiler from Scheme into X64☆188Updated 10 years ago
- 哈尔滨工业大学《数据结构与算法》、《软件开发实践》作业及实验的Scheme解法。☆83Updated 10 years ago
- 《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版☆211Updated this week
- A File Manager for DrRacket☆84Updated last year
- Little Racket Interpreter☆16Updated 5 years ago
- A minimalist revision of the miniKanren language with no additional features☆51Updated 2 years ago
- https://openpal.github.io/TypeAndProof/☆99Updated 7 years ago