Category
Computational Biology
Language
Java
Project Lead
Dave Gifford

GERM is an approach to identifying conditional occupancy events for a protein from ChIA-PET data.

MIT License
Last Updated
Category
Computational Biology
Language
Python
Project Lead
Dave Gifford

PRESCIENT is a generative model for modeling single-cell time-series.

MIT License
Last Updated
Category
Systems & Networking
Language
Python
Project Lead
Dave Gifford

MIT License
Last Updated
Category
Security & Cryptography
Language
Python
Project Lead
Srini Devadas

Var-CNN is a data-efficient website fingerprinting attack based on deep learning.

MIT License
Last Updated
Category
Graphic & Vision
Language
C
Project Lead
Erik Demaine

Lets glass blowers design and visualize glass cane, and to get a sense of what that cane will look like on a blown piece.

MIT License
Last Updated
Category
Graphic & Vision
Language
CoffeeScript
Project Lead
Erik Demaine

Cocreate is a web-based shared whiteboard tool for drawing, teaching, and brainstorming together with others.

MIT License
Last Updated
Category
Security & Cryptography
Language
Rust
Project Lead
Henry Corrigan-Gibbs

Poplar is a new system for solving the private heavy-hitters problem.

MIT License
Last Updated
Category
Systems & Networking
Language
Coq
Project Lead
Adam Chlipala

FSCQ is the first file system with machine-checkable proof that its implementation meets its specification and whose specification includes crashes.

MIT License
Last Updated
Language
C
Project Lead
Bonnie Berger

LAVA is an NGS-based computational SNP array. LAVA is able to call with high accuracy the vast majority of SNPs in dbSNP and Affymetrix’s Genome-Wide Human SNP Array 6.0, while performing 4-7 times faster than a standard NGS genotyping pipeline.

MIT License
Last Updated
Language
C
Project Lead
Adam Belay

Dune is a system that lets you safely run applications in Ring 0 by using hardware virtualization. This lets applications access privileged CPU features and do things like change their own page table, register interrupt handlers and more, while still being able to perform normal system calls. 

MIT License
Last Updated