| | 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
|
|
