The Suspend/Resume project provides a tool for system developers to visualize the activity between suspend and resume, allowing them to identify inefficiencies and bottlenecks.

Cranelift based backend for rustc

Unikernel Linux

Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support

The Schedulability Test Collection And Toolkit

ldd as a tree

High-speed BLS12-381 implementation in Go

HTCondor source repository, formerly the Condor Project

Kernel Thread Sanitizer, a fast data race detector for the Linux kernel

CoreNIC: a flexible SR-IOV SmartNIC firmware implementation supporting BPF and stateless offloads.

Convert network filtering rules from various formats into BPF programs

A novel technique to hide code from debuggers & disassemblers

Collected Concurrency Bugs in Our ASPLOS Paper

Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support

FOSSology is an open source license compliance software system and toolkit. As a toolkit you can run license, copyright and export control scans from the command line. As a system, a database and w…

Guile with tracing JIT VM.

AFLFast (extends AFL with Power Schedules)

libs2e.so

The official Google release of packetdrill

XORP is a routing protocol suite, supporting OSPF, BGP, RIP, PIM, IGMP, OLSR and more. This repository is now the official XORP code repository.

There is a new version of dReal, available at https://github.com/dreal/dreal4

Automatically exported from code.google.com/p/smhasher

Multi-core implementation of Regularized Greedy Forest

Libtrading, an ultra low-latency trading connectivity library for C and C++.

This is the archived S2E 1.0 repo. We do not maintain it anymore.

The ERESI Reverse Engineering Software Interface

syzkaller is an unsupervised coverage-guided kernel fuzzer