A tool for developers which determines whether a constraint satisfaction problem (CSP) is computationally tractable
Automated speech therapy - so everybody can have a voice
Writes a brief wikipedia article about a given photo.
Unlimited storage on Google Cloud but completely free ;)
Amazon but hard to buy things
A journey through 70 years of history to watch your favorite movie without being confused the entire time
RoboCrop embeds intelligence and mobility in plants. It makes plants more adorable and amiable like pets.
A Chrome Extension that fundamentally changes the way we experience YouTube videos
Texts notifications about SURF announcements of opportunity that match given keywords.
Most security alarms are false positives, wasting valuable time. We want to eliminate this without reducing security.
Binary quadratic optimization via constraint learning and delicious nutritious soup wherever you go!
A puzzle game where you must travel back and forth in time to escape your prison