Research Tools: code, datasets, & models

This GitHub package (opens in new tab) contains a C++ library and several application programs that demonstrate mesh processing technologies published in research papers at ACM SIGGRAPH in 1992–1998.

SIDH is a fast and portable software library that implements a new suite of algorithms for Supersingular Isogeny Diffie-Hellman (SIDH) key exchange. The chosen parameters aim to provide 128 bits of security against attackers running…

The schema and queries of the TPC-H (formerly TPC-D) benchmark are widely used by people in the database community. One of the requirements of the benchmark is that data for columns in the database are…

OTP4LTE-U implements a basic subset of LTE PHY features, as well as the rudimentary MAC, RLC, PDCP and RRC, sufficient to connect a standard LTE dongle. OTP4LTE-U also implements the LTE-U specification and can be…

Table Sorter lets you create stacked table columns to explore how different combinations and weightings of numerical column values result in different rank orderings of table records. Column headings show the distribution of column values…

This is an experimental programming language for heterogeneous systems based on multi-stage programming.

An image processing language implemented entirely in C# using the new Vector SIMD class. Generates multithreaded and SIMD optimized code from a high level language input. Has primitives for per pixel and convolution operations and…

VCC is a mechanical verifier for concurrent C programs. VCC takes a C program, annotated with function specifications, data invariants, loop invariants, and ghost code, and tries to prove these annotations correct. If it succeeds,…

Machine learning tools for modeling viral adaptation to host immune responses.

Mping is a simple command line application that sends and receives multicast packets. Last published: March 16, 2016.