1

skio

Pure relational SKI combinator calculus interpreter.

Scheme

9

2

chanadu

The web that never was.

Scheme

6

3

lambdaconf2018

5

4

decac

Automatically exported from code.google.com/p/decac

Scala

4

5

prc

Computronium

HTML

3

6

xenotation

xenotation<->arabic numerals transliteration

Scheme

2

7

sjas

Research into self-justifying axiom systems.

HTML

2

8

cots

Robust portable computing for the modern age.

OpenSCAD

2

9

muko

microKanren in miniKanren

Scheme

1