Research Tools: code, datasets, & models

EverCrypt (opens in new tab) is a high-performance, cross-platform, formally verified modern cryptographic provider distributed as a combined C/ASM library. EverCrypt packages cryptographic implementations from the HACL* and ValeCrypt projects, and automatically picks the fastest…

F*: Verification system for effectful programs

This is the data and source code download page for the paper: “Document-Level N-ary Relation Extraction with Multiscale Representation Learning” by Robin Jia, Cliff Wong and Hoifung Poon NAACL 2019.

Supporting code for the Model-Based Machine Learning book. This project contains the sample code and test data for the freely available online book on model-based machine learning published at http://mbmlbook.com/ (opens in new tab). The…

Use your eyes to slide all the tiles to collide like numbers to double them until you reach 2048 (or higher).

Exercise your mind and eyes with match two! Flip cards to reveal images, and match up all the pairs to win the game.

Practice your skills by using your eyes to slide the tiles back into order to solve the puzzles.

This data set contains accelerometer and gyroscope recordings from over 200 participants performing various gym exercises. This data set is described in more detail in the associated manuscript: Morris, D., Saponas, T. S., Guillory, A.,…

Learn how to dwell with your eyes and navigate Lunita through each maze to help her find her way home.

A portable volatile memory acquisition tool for Linux. AVML is an X86_64 userland volatile memory acquisition tool written in Rust, intended to be deployed as a static binary. AVML can be used to acquire memory…