1 Results for all

Can't find a software application?

Submit it to OStatic

Applied Filters

database
mit license
scienctific research
mathematics

Filter Results

Click a filter below to apply it to results

APPLICATION TYPE
OSS (1)
CATEGORY
software development (1)
ALTERNATIVE
AUDIENCE
developers (1)
LICENSE

Open Source Software - kanren  kanren

0 alternatives0 reviews

A declarative logic programming system with first-class relations embedded in a pure functional subset of Scheme. The system has true unions, fair sch...