Submissions from github.com/webyrd

		Proof-of-concept for reasoning over the SemMedDB knowledge base using miniKanren (github.com/webyrd)
		1 point by tosh on Oct 17, 2019 \| past
		mediKanren: PoC for reasoning over SemMedDB using miniKanren+heuristics+indexing (github.com/webyrd)
		1 point by greghendershott on June 12, 2018 \| past
		Barliman – real-time program synthesis to make the programmer's life easier (github.com/webyrd)
		186 points by michaelsbradley on Dec 3, 2017 \| past \| 43 comments
		Barliman: Prototype of a smart text editor (github.com/webyrd)
		164 points by adamnemecek on July 30, 2016 \| past \| 57 comments
		Barliman: prototype “smart editor” that performs real-time program synthesis (github.com/webyrd)
		1 point by ingve on June 16, 2016 \| past