A testing & development environment for Circom.

Command-line sampling profiler for macOS and Linux

A knowledge graph of biblical people, places, periods, and passages.

Refinement Types for Rust

Heterogeneous Memory Software Development Kit

It's a New Kind of Wrapper for Exposing LLVM (Safely)

Envision a future where every student can read all the code of a teaching operating system.

ChatDBG - AI-assisted debugging. Uses AI to answer 'why'

Latest generation of Audiveris OMR engine

Reinforcement learning environments for compiler and program optimization tasks

MySQL Server, the world's most popular open source database, and MySQL Cluster, a real-time, open source transactional database.

HSE: Heterogeneous-memory storage engine

A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for testing concurrent programs.

Cayman is a Jekyll theme for GitHub Pages

A beautiful, simple, clean, and responsive Jekyll theme for academics

NVM Database from Carnegie-Mellon U

HotCRP conference review software

A C library to support applications that map Non-Volatile Memory into their address space for load/store access.

LDAP benchmarking tool like an Apache Bench

The Cloud9 main repository

Webdav bridge for Google Drive

Create Gist from Code for Medium.com

Write-Optimized and High-Performance Hashing Index Scheme for Persistent Memory (OSDI 2018, TOS 2019)

TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)

Yahoo! Cloud Serving Benchmark

A brazen two-column theme for Jekyll.

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

C library implementing cuckoo hash