Andrew Zukoski (@amzuko)
github

amzuko

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    22
  • Global Rank 600,539 (Top 21 %)
  • Followers 16
  • Following 3
  • Registered over 13 years ago
  • Most used languages
    Prolog
         50.0 %
    C
         50.0 %

Top repositories

1

gotalog

Golang implementation of datalog, port of MITRE corporation's lua implementation
Prolog
20
star
2

lsat

Lua implementation of a classic dpll SAT solver
C
2
star