kmicinski/cmsc330examples
Examples from the class CMSC 330 during Summer 2015
MapReduce course at the University of Maryland for Spring 2013
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Examples from the class CMSC 330 during Summer 2015
A JavaScript app that offers a way to teach and animate state machines interactively
An example of a simple project in OCaml that uses Merlin
Model checker for HyperLTL2