pcernek's repositories
satenstein
This fork is focused on revitalizing SATenstein, a program built on top of UBCSAT to synthesize novel SLS solvers by putting together components of existing algorithms.
archivist
A tag-based file server.
Language:TypeScript000
obstacle-detection
Code to detect obstacles using a pair of FLIR Lepton thermal infrared cameras on board Ada, our autonomous sailboat that launched in August of 2016.
Language:C000
Language:Python000
sharks
A Phaser 3 Project Template
Language:JavaScriptMIT000
thermoscale
A small application built on OpenCV's highgui package that reads in a 16-bit grayscale image and allows the user to adjust the scaling to produce a displayable 8-bit grayscale image.