Popular repositories Loading

1. staticKanren staticKanren Public

   A variant of miniKanren which returns better answers

   Scheme 6 1

2. Thesis Thesis Public

   This is my Bachelor's thesis about the logic programming language miniKanren

   TeX 2

3. kara kara Public

   Racket 1

4. js js Public

   My JavaScript experiments

   JavaScript 1

5. akb akb Public

   Injecting tap inputs to Android phone with a physical keyboard

   Java 1

6. rea-engine rea-engine Public

   C++ 1