Khoa Vo (@lackhoa)
github

lackhoa

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    12
  • Global Rank 874,315 (Top 31 %)
  • Followers 2
  • Following 1
  • Registered over 9 years ago
  • Most used languages
    C++
         33.3 %
    Racket
         16.7 %
    TeX
         16.7 %
    JavaScript
         16.7 %
    Scheme
         16.7 %

Top repositories

1

staticKanren

A variant of miniKanren which returns better answers
Scheme
6
star
2

Thesis

This is my Bachelor's thesis about the logic programming language miniKanren
TeX
2
star
3

js

My JavaScript experiments
JavaScript
1
star
4

kara

Racket
1
star
5

lackhoa.github.io

C++
1
star
6

rea-engine

C++
1
star