LukasSchondorff

Lukas Schondorff's starred repositories

Logic Programming in Python

Language:PythonNOASSERTION88800

An extensible, lightweight relational/logic programming DSL written in pure Python

Language:PythonNOASSERTION16300

Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.

Language:Scheme13100

an attempt to implement miniKanren and microKanren in Python

Language:PythonMIT5300

How To combine Clojure and ClojureScript Libraries

Language:ClojureEPL-1.0600

Embeds mastodon timline into a html page. Uses JS, no intermediate server required.

Language:ClojureApache-2.0900

Coding Adventure

Language:C#MIT101300

Cryogen's core

Language:ClojureEPL-1.0200