yinwang0 / tinyKanrenLinks
A minimalist revision of the miniKanren language with no additional features
☆51Updated 3 years ago
Alternatives and similar repositories for tinyKanren
Users that are interested in tinyKanren are comparing it to the libraries listed below
Sorting:
- Public helper code for p423/p523 students (Racket)☆164Updated 6 months ago
- HTML5/EPUB3 version of SICP☆28Updated 5 years ago
- ☆40Updated 3 years ago
- Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.☆134Updated 10 years ago
- A Scheme to x86-64 compiler in Scheme☆79Updated 10 years ago
- 基于鸭子编译器写的os☆22Updated 4 years ago
- Chez Scheme☆39Updated 3 years ago
- The compiler for subset of scheme developed as part of P523☆30Updated 8 years ago
- A File Manager for DrRacket☆84Updated last year
- Programming Languages: Application and Interpretation☆244Updated last year
- ☆39Updated last month
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆29Updated 5 years ago
- Genius programmer should write his own lisp!☆56Updated last week
- Racket指南(中文翻译)☆171Updated 7 years ago
- ☆16Updated 5 years ago
- A Scheme interpreter base on R5RS specification.☆52Updated 5 years ago
- DrRacket plugins for better autocompletion☆65Updated 11 months ago
- OOPLAI中文翻译☆33Updated 2 years ago
- stex: stex to latex and latex to html converters and associated tools☆89Updated last year
- R6RS 简体中文翻译☆81Updated 8 years ago
- A collection of articles written by YinWang☆149Updated last year
- racket指南翻译☆23Updated 3 years ago
- the Yin programming language☆7Updated 10 years ago
- 《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版☆211Updated last week
- Compile JavaScript to Native Code☆28Updated 5 years ago
- Goldfish Scheme / 金鱼Scheme☆71Updated last week
- ☆146Updated 9 years ago
- Web page for IU Compiler Course for Fall 2020☆132Updated 4 years ago
- a compiler from a subset of Scheme into X64☆241Updated 5 years ago
- miniKanren with a constraint-based negation operator☆10Updated 11 years ago