Khoa Vo’s Portfolio

About

This place contains some of my projects and my blog posts. Most of what I do involves programming, in either entertainment or research.

Personal Projects

The Movie Project

This is the coolest project I’ve ever attempted. The goal is to just make a animated movie, which involves making a 3D modeler, editor, and whatever else it takes.

This time, we have a video series.

Code repo

It’s still ongoing, probably forever…

Rea: A theorem prover written in C++

How to describe this project? The closest I can think of is a compiler, with the most complicated type system possible.

I’ve written a series of blogs to explain it (not likely to be complete at any point). Plus the code.

Handmade Hero Game

Originally I was gonna make the whole game, but sadly due to copyright reasons I had to stop. Anyway I had fun & gained a lot of programming experience from it. More details can be found here.

Bachelor Thesis in Logic programming: “Relational Conditionals with Pseudo-functions”

  • Description: A symbolic AI project, wherein I recycled an old idea and applied it to a different language.
  • Tech: Scheme, miniKanren
  • Link: code & paper

Raspberry Pi project that converts visual cues to sound in real-time

  • Description: This was a school project. There were 3 ideas to help the visually impaired: sonar, color detection and image recognition (using Google Cloud)
  • Tech: Raspberry Pi, GCP, Toy electronics, Python
  • Links: code

Tic-tac-toe player and graphs

  • Description: My idea was to brute-force all possible tic-tac-tie games and show it on a graph. There were code to check for symmetry. The end result looked beautiful and I’m still proud of it to this day.
  • Tech: Graphviz, Python
  • Links: presentation, code

Posts

subscribe via RSS