tupipa Goto Github PK

android-5.1.1_r19

Add BFQ scheduler to the I/O scheduler for Flash disk

bargraph

Clustered/Stacked Filled Bar Graph Generator

beri

The BERI and CHERI processor and hardware platform

besspin-gfe-2019

The DARPA SSITH-funded Government Furnished Equipment on which all secure CPUs are based.

bogo

bogo for ASPLOS'19

cheri-qemu

cheribsd

FreeBSD adapted for the CHERI CPU.

cheribuild

Easily build and run CHERI related projects

cpubench

A CPU workload used to test smartphone battery performance

criu

Checkpoint/Restore tool

crix

Detect missing check bugs in OS kernels

deadwritebenchmark

Simple benchmark for detecting dead writes in both user and kernel space

debugtrace

go lib for debugging

docker-alpine-fpc

The smallest Docker image with FPC (FreePascal compiler) (65MB)

docker-hugo

Docker base image for static sites generated with Hugo

docker-openface

openface reading from local video file for testing

docker-riscv-tools

Docker image of Rochet Chip

gem5

hdfi

Hardware-assisted Data-flow Isolation

hol4-docker

Dockerfiles to build HOL4 (https://github.com/HOL-Theorem-Prover/HOL)

latex-docker

Docker-based latex compilation

libvmi

llvm

Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.

llvm-docker

Build LLVM in Docker Container

llvm-project-cheri

Fork of LLVM adding CHERI support

machine-learning-books

this is a fork of collection of books for machine learning.

memsim

Mem-Sim is a fast and flexible memory subsystem simulator. The goal of the simulator is to enable ease of simulating many different memory system configurations (primarily the cache). Based on the PACT 2012 paper by Seshadri et al. at http://users.ece.cmu.edu/~omutlu/pub/eaf-cache_pact12.pdf.

openface

Face recognition with deep neural networks.

os_bench

p.haul

Live migration using CRIU