maspin22

Pinned Repositories

CoqFormalVerification
Language:Coq10
Cplusplus
Language:C++00
GroupMeAnalytics
A simple Python app that gives insight into your GroupMe conversations.
Language:Python00
JavaObjectOriented
Language:HTML00
soundbite
Native iOS (Swift) project for extracting audio from videos in camera roll and dubbing it to lipsync and share to friends through an iMessage extension
Language:Swift00
SystemsProgramming
Language:C00
TheGameOfY
Language:JavaScript00
recrec
CS 4701 AI Practicum Project
Language:Jupyter Notebook00

maspin22's Repositories

maspin22/TheGameOfY
Language:JavaScript
maspin22/soundbite
Native iOS (Swift) project for extracting audio from videos in camera roll and dubbing it to lipsync and share to friends through an iMessage extension
maspin22/Cplusplus
Language:C++
maspin22/SystemsProgramming
Language:C
maspin22/CoqFormalVerification
Language:Coq1
maspin22/JavaObjectOriented
Language:HTML
maspin22/GroupMeAnalytics
A simple Python app that gives insight into your GroupMe conversations.