Explore projects
-
Updated
-
The public repository of the paper "Interactive Programming for Parametric CAD".
Updated -
-
-
Updated
-
Archived 0Updated
-
Updated
-
-
Model checker for distributed systems using hitting families of schedules
Updated -
-
Hadoop, YARN, and HDFS, instrumented with tracing framework. Up to date with version 2.7.2. Most up to date branch is brownsys-tracingplane-2.7.2
Updated -
Integrates programming and direct manipulation for CAD.
Updated -
-
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Updated -
SimBricks website source, automatically deployed to https://www.simbricks.io
Updated -
A certificate checker for roundoff error bounds (Public Version)
Archived 0Updated