Search: github.com/webyrd | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Barliman – real-time program synthesis to make the programmer's life easier (github.com/webyrd)

186 points

michaelsbradley

9 years ago

2.

Barliman: Prototype of a smart text editor (github.com/webyrd)

164 points

10 years ago

3.

Proof-of-concept for reasoning over the SemMedDB knowledge base using miniKanren (github.com/webyrd)

1 point

7 years ago

4.

mediKanren: PoC for reasoning over SemMedDB using miniKanren+heuristics+indexing (github.com/webyrd)

1 point

greghendershott

8 years ago

5.

Barliman: prototype “smart editor” that performs real-time program synthesis (github.com/webyrd)

1 point

10 years ago