Explore projects
-
Updated
-
Implements the long awaited client-side of datadec: given datadec types like "expr = num(int n) or ...", let us write:
%when expr e is num(n) { return n; }Updated -
ANSI C data declaration module constructor: Datadec transforms a series of Haskell style recursive (or inductive) datatype declarations into a C module to implement them.
Updated -
Backup repository for https://github.com/resource-reasoning/JS_Parser
Updated -
Updated
-
Public repository for the coursework of the CO407H Medical Image Computing course.
Updated -
Contains a documented example of how to use tensorflow to train a CNN for automatic scan plane detection
Updated -
Instructions for the artifact that accompanies submission #189, "Compositional Symbolic Analysis for JavaScript: Unifying Symbolic Execution and Separation Logic", by José Fragoso Santos, Petar Maksimović, Gabriela Sampaio, and Philippa Gardner
Updated -
-
-
Updated
-
-
Updated
-
-
-
-
Joint Learning of Motion Estimation and Segmentation for Cardiac MR Image Sequences
Updated -
Updated
-
Updated