Add a web page and two repositories on Relational Programming.
Chris Pressey
10 months ago
| 17 | 17 |
|
| 18 | 18 |
<!-- TOTALS -->
|
| 19 | 19 |
|
| 20 | |
Currently it consists of **597** web pages, **69** repositories, **151** papers, and **171** books in **95** topics.
|
| 21 | |
Of these, [**107** have the highest rating](by-rating/Top-rated.md),
|
|
20 |
Currently it consists of **598** web pages, **71** repositories, **151** papers, and **171** books in **95** topics.
|
|
21 |
Of these, [**108** have the highest rating](by-rating/Top-rated.md),
|
| 22 | 22 |
[**28** are considered classics](by-rating/Classic.md),
|
| 23 | 23 |
[**51** are considered very interesting](by-rating/Very%20Interesting.md),
|
| 24 | 24 |
while [**73** are yet to be rated](by-rating/Unrated.md).
|
| 133 | 133 |
|
| 134 | 134 |
* [Refinement Calculus](https://www.southampton.ac.uk/~mbutler/refcalc-tut/home.html)
|
| 135 | 135 |
|
|
136 |
### Relational Programming
|
|
137 |
|
|
138 |
* [A Short Skinny on Relations & the Algebra of Programming | Hey There Buddo!](https://www.philipzucker.com/a-short-skinny-on-relations-towards-the-algebra-of-programming/)
|
|
139 |
|
| 136 | 140 |
### Software Engineering
|
| 137 | 141 |
|
| 138 | 142 |
* [Making Wrong Code Look Wrong -- Joel on Software](https://www.joelonsoftware.com/2005/05/11/making-wrong-code-look-wrong/))
|
| 13 | 13 |
|
| 14 | 14 |
### Web resources
|
| 15 | 15 |
|
|
16 |
[A Short Skinny on Relations & the Algebra of Programming | Hey There Buddo!](https://www.philipzucker.com/a-short-skinny-on-relations-towards-the-algebra-of-programming/)
|
|
17 |
|
| 16 | 18 |
[amb - The CHICKEN Scheme wiki](https://wiki.call-cc.org/eggref/5/amb)
|
| 17 | 19 |
|
| 18 | 20 |
### Papers
|
| 6 | 6 |
SPDX-License-Identifier: CC0-1.0
|
| 7 | 7 |
-->
|
| 8 | 8 |
|
|
9 |
### A Short Skinny on Relations & the Algebra of Programming | Hey There Buddo!
|
|
10 |
|
|
11 |
* url: https://www.philipzucker.com/a-short-skinny-on-relations-towards-the-algebra-of-programming/
|
|
12 |
* topics: Relational Programming, Haskell, Refinement Calculus
|
|
13 |
* future-topics: Algebra of Programming
|
|
14 |
|
|
15 |
.
|
|
16 |
|
| 9 | 17 |
### amb - The CHICKEN Scheme wiki
|
| 10 | 18 |
|
| 11 | 19 |
* url: https://wiki.call-cc.org/eggref/5/amb
|
| 12 | 20 |
|
| 13 | 21 |
.
|
| 14 | |
|
| 10 | 10 |
exception: the ratings may be freely used for any purpose with no limitations.
|
| 11 | 11 |
|
| 12 | 12 |
Relational Programming
|
| 13 | |
---------------
|
|
13 |
----------------------
|
| 14 | 14 |
|
| 15 | 15 |
### Relational Methods in Computer Science
|
| 16 | 16 |
|
|
| 36 | 36 |
|
| 37 | 37 |
.
|
| 38 | 38 |
|
|
39 |
### A Short Skinny on Relations & the Algebra of Programming | Hey There Buddo!
|
|
40 |
|
|
41 |
* rating: 3
|
|
42 |
|
|
43 |
.
|
|
44 |
|
| 39 | 45 |
### amb - The CHICKEN Scheme wiki
|
| 40 | 46 |
|
| 41 | 47 |
* rating: 1
|
| 42 | 48 |
|
| 43 | 49 |
.
|
| 44 | |
|
| 17 | 17 |
|
| 18 | 18 |
[clojure - Understanding Mini-Kanren\'s Execution Model - Stack Overflow](https://stackoverflow.com/questions/10118292/understanding-mini-kanrens-execution-model)
|
| 19 | 19 |
|
|
20 |
### Repositories
|
|
21 |
|
|
22 |
[ashton314/muKanren_reading: [Mirror] A close reading of the μKanren paper.](https://github.com/ashton314/muKanren_reading)
|
|
23 |
|
|
24 |
[iambrj/metaKanren: Relational interpreter for miniKanren, in miniKanren.](https://github.com/iambrj/metaKanren)
|
|
25 |
|
| 20 | 26 |
### Papers
|
| 21 | 27 |
|
| 22 | 28 |
[Relational Processing for Fun and Diversity](http://minikanren.org/workshop/2019/minikanren19-final6.pdf)
|
|
0 |
miniKanren Repos
|
|
1 |
================
|
|
2 |
|
|
3 |
<!--
|
|
4 |
SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.
|
|
5 |
|
|
6 |
SPDX-License-Identifier: CC0-1.0
|
|
7 |
-->
|
|
8 |
|
|
9 |
### ashton314/muKanren_reading: [Mirror] A close reading of the μKanren paper.
|
|
10 |
|
|
11 |
* url: https://github.com/ashton314/muKanren_reading
|
|
12 |
* license: MIT
|
|
13 |
|
|
14 |
.
|
|
15 |
|
|
16 |
### iambrj/metaKanren: Relational interpreter for miniKanren, in miniKanren.
|
|
17 |
|
|
18 |
* url: https://github.com/iambrj/metaKanren
|
|
19 |
* license: MIT
|
|
20 |
|
|
21 |
.
|
| 10 | 10 |
exception: the ratings may be freely used for any purpose with no limitations.
|
| 11 | 11 |
|
| 12 | 12 |
miniKanren
|
| 13 | |
---------------
|
|
13 |
----------
|
| 14 | 14 |
|
| 15 | 15 |
### The Reasoned Schemer
|
| 16 | 16 |
|
|
| 38 | 38 |
|
| 39 | 39 |
.
|
| 40 | 40 |
|
|
41 |
### ashton314/muKanren_reading: [Mirror] A close reading of the μKanren paper.
|
|
42 |
|
|
43 |
* rating: 1
|
|
44 |
|
|
45 |
.
|
|
46 |
|
|
47 |
### iambrj/metaKanren: Relational interpreter for miniKanren, in miniKanren.
|
|
48 |
|
|
49 |
* rating: 1
|
|
50 |
|
|
51 |
.
|