Michael Hendricks mndrix

Achievements

Achievements

Popular repositories Loading

1. golog golog Public archive

   Prolog interpreter in Go

   Go 375 37

2. ps ps Public archive

   Persistent data structures for Go

   Go 112 15

3. merge-this merge-this Public archive

   Revision control stress tests

   Perl 101 11

4. microkanren-prolog microkanren-prolog Public archive

   Prolog implementation of microKanren

   Prolog 44 3

5. tap-go tap-go Public archive

   Test Anything Protocol for Go

   Go 30 8

6. edcg edcg Public archive

   Extended DCG syntax for Prolog by Peter Van Roy

   Prolog 22 7