Search: github.com/webyrd | Heykuki News

HK

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

9 years ago

michaelsbradley

186 points

2.

Barliman: Prototype of a smart text editor

github.com/webyrd

10 years ago

164 points

3.

Proof-of-concept for reasoning over the SemMedDB knowledge base using miniKanren

github.com/webyrd

7 years ago

1 points

4.

mediKanren: PoC for reasoning over SemMedDB using miniKanren+heuristics+indexing

github.com/webyrd

8 years ago

greghendershott

1 points

5.

Barliman: prototype “smart editor” that performs real-time program synthesis

github.com/webyrd

10 years ago

1 points