Hacker GitHub

← All repos

brandonwillard/loghyc

View on GitHub ↗ ★ 91 Hy

Loghyc - a miniKanren implementation in Hy

3 mentions on Hacker News by 2 people: 0 stories, 3 comments · first 2014-01-16 · latest 2021-04-14

Mentions per year 3 mentions · busiest year 2014 (2)
20082026
AllStoriesComments NewestTopOldest
  1. …to a dependency of the project i meant to link to. originally linked to the mk implementation: https://github.com/algernon/adderall
    comment by cpdean · 2021-04-14 · in Logica, a novel open-source logic programming language
  2. …), a lisp ontop of Python, got a MiniKanren implementation that is pretty neat: https://github.com/algernon/adderall
    comment by Foxboron · 2014-10-01 · in MiniKanren – An embedded DSL for logic programming
  3. There is adderall https://github.com/algernon/adderall and paultag wrote snitch https://github.com/paultag/snitch There are people using Hy in production, but that code isn't out. A good way to see Hy in action is looking at our…
    comment by Foxboron · 2014-01-16 · in The State of Hy