cKanren

Constraint programming language embedded in Racket

2Distinct people

2Mentions

0Explicit recommenders

154GitHub stars

REPOSITORY AT A GLANCE

What to know before exploring

Constraint programming language embedded in Racket

GitHub

No documented product use has been verified yet.

No recommendation phrase was found in the indexed comments.

No classified warning is attached to this page. Read the discussions before treating silence as approval.

No other repository is repeatedly linked in the same discussions.

Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 3:56:07 PM UTC.

No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.

HN mentions by day2 dated mentions

Observed mentions: 2011-11-17 18:04:32 UTC to 2011-12-08 18:01:42 UTC.

Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.

View mention counts and date ranges

UTC ranges include their start and exclude their end. Select a period to filter the source evidence.
Period	Start (UTC)	End (exclusive, UTC)	Mentions	Comments
Nov 17	2011-11-17 00:00:00 UTC	2011-11-18 00:00:00 UTC	1	1
Nov 18	2011-11-18 00:00:00 UTC	2011-11-19 00:00:00 UTC	0	0
Nov 19	2011-11-19 00:00:00 UTC	2011-11-20 00:00:00 UTC	0	0
Nov 20	2011-11-20 00:00:00 UTC	2011-11-21 00:00:00 UTC	0	0
Nov 21	2011-11-21 00:00:00 UTC	2011-11-22 00:00:00 UTC	0	0
Nov 22	2011-11-22 00:00:00 UTC	2011-11-23 00:00:00 UTC	0	0
Nov 23	2011-11-23 00:00:00 UTC	2011-11-24 00:00:00 UTC	0	0
Nov 24	2011-11-24 00:00:00 UTC	2011-11-25 00:00:00 UTC	0	0
Nov 25	2011-11-25 00:00:00 UTC	2011-11-26 00:00:00 UTC	0	0
Nov 26	2011-11-26 00:00:00 UTC	2011-11-27 00:00:00 UTC	0	0
Nov 27	2011-11-27 00:00:00 UTC	2011-11-28 00:00:00 UTC	0	0
Nov 28	2011-11-28 00:00:00 UTC	2011-11-29 00:00:00 UTC	0	0
Nov 29	2011-11-29 00:00:00 UTC	2011-11-30 00:00:00 UTC	0	0
Nov 30	2011-11-30 00:00:00 UTC	2011-12-01 00:00:00 UTC	0	0
Dec 1	2011-12-01 00:00:00 UTC	2011-12-02 00:00:00 UTC	0	0
Dec 2	2011-12-02 00:00:00 UTC	2011-12-03 00:00:00 UTC	0	0
Dec 3	2011-12-03 00:00:00 UTC	2011-12-04 00:00:00 UTC	0	0
Dec 4	2011-12-04 00:00:00 UTC	2011-12-05 00:00:00 UTC	0	0
Dec 5	2011-12-05 00:00:00 UTC	2011-12-06 00:00:00 UTC	0	0
Dec 6	2011-12-06 00:00:00 UTC	2011-12-07 00:00:00 UTC	0	0
Dec 7	2011-12-07 00:00:00 UTC	2011-12-08 00:00:00 UTC	0	0
Dec 8	2011-12-08 00:00:00 UTC	2011-12-09 00:00:00 UTC	1	1

2 sources

Many thanks for the info. I'll have to delve into cKanren more - I kind of glossed over it. For anyone else interested, it looks like Claire Alvis is leading development of cKanren. Here's a background paper and a link to the source on github: http://scheme2011.ucombinator.org/papers/Alvis2011.pdf https://github.com/calvis/cKanren And here's a short example and discussion of use of cKanren by (I think) one of the core.logic creators: http://dosync.posterous.com/another-taste-of-ckanren http://groups.google.com/group/clojure/browse_thread/thread/... Also, the Friedman group maintains some other source here: https://github.com/iucs/relational-research which includes...wait for it...babyMiniKanren (babymk)!

I believe the official Kanren/miniKanren source is at http://kanren.sourceforge.net and the cKanren source is at https://github.com/calvis/cKanren