yinwang0 / tinyKanrenLinks
A minimalist revision of the miniKanren language with no additional features
☆53Updated 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)☆169Updated last month
- A Scheme interpreter base on R5RS specification.☆53Updated 5 years ago
- Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.☆135Updated 11 years ago
- Racket指南（中文翻译）☆173Updated 7 years ago
- ☆39Updated 4 years ago
- R6RS 简体中文翻译☆80Updated 8 years ago
- A File Manager for DrRacket☆84Updated 2 years ago
- A Scheme to x86-64 compiler in Scheme☆81Updated 10 years ago
- A collection of articles written by YinWang☆156Updated last year
- Programming Languages: Application and Interpretation☆247Updated 2 years ago
- The compiler for subset of scheme developed as part of P523☆30Updated 8 years ago
- The Scheme Programming Language - ZhCN☆44Updated 11 months ago
- Chez Scheme Version 9 User's Guide - Zhcn☆60Updated 4 years ago
- stex: stex to latex and latex to html converters and associated tools☆93Updated 2 years ago
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆30Updated 6 years ago
- HTML5/EPUB3 version of SICP☆28Updated 6 years ago
- 基于scheme开发的鸭子编辑器☆195Updated 5 years ago
- ☆39Updated 2 months ago
- Web page for IU Compiler Course for Fall 2020☆132Updated 5 years ago
- Chez Scheme☆41Updated 3 years ago
- DrRacket plugins for better autocompletion☆66Updated last year
- Genius programmer should write his own lisp!☆57Updated 3 weeks ago
- ☆16Updated 5 years ago
- 基于鸭子编译器写的os☆22Updated 5 years ago
- miniKanren with a constraint-based negation operator☆10Updated 11 years ago
- racket指南翻译☆23Updated 4 years ago
- Really mini operating system (extracted from xen-unstable, and much stuff removed)☆193Updated 13 years ago
- a async http server base on libuv for Chez Scheme☆124Updated 4 months ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆530Updated last month
- Scheme Related Papers☆46Updated 5 years ago