ReinoutStevens/cKanren
Constraint programming language embedded in Racket
Developer Profile
ReinoutStevens
Discovered public repositories for ReinoutStevens in the GitHub catalog.
ReinoutStevens/ChangeNodes
Tree Edit Operation distilling on Arbitrary Nodes
ReinoutStevens/git-clj-scrapper
Scraping tool for local git repositories, written in Clojure.
ReinoutStevens/damp.keko
ProjectModel for Ekeko that uses Partial Java Analysis
ReinoutStevens/octo-hipster
Hackathon code for Sattose2012 to make Vadim happy.
ReinoutStevens/damp.qwalkeko
Scrape and reason over java projects stored on git
ReinoutStevens/damp.qwal
Path expressions through graphlike structures for clojure using core.logic