mwatts15/Projects-Solutions
Links to other users' solutions to Projects (https://github.com/karan/Projects/)
Developer Profile
mwatts15
Discovered public repositories for mwatts15 in the GitHub catalog.
mwatts15/movement_validation
A testing pipeline that allows us to run a behavioural phenotyping of our virtual worm running the same test statistics the Schafer Lab used on their worm data.
mwatts15/CElegansNeuroML
NeuroML based C elegans model, contained in a neuroConstruct project
mwatts15/rdflib
RDFLib is a Python library for working with RDF, a simple yet powerful language for representing information.
mwatts15/openworm_docs
Documentation for OpenWorm
mwatts15/PyOpenWorm
Unified data access library for data about the c. elegans anatomy and model for the OpenWorm project
mwatts15/Constraints
a system for describing arbitrary constraints
mwatts15/learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
mwatts15/pintos-debug-scripts
A collection of scripts we've used for debugging pintos on UTCS machines
mwatts15/Crono
Scheme project for CS345
mwatts15/menu2
menu based computer interface
mwatts15/xmms2-stuff
Scripts for playing with xmms2
mwatts15/TagFS
A tag based filesystem