tupipa

Lele (Milo) Ma's repositories

docker-riscv-tools

Docker image of Rochet Chip

1 20

beri

The BERI and CHERI processor and hardware platform

Language:BluespecNOASSERTION010

cheri-qemu

Language:CNOASSERTION030

gem5

Language:C++BSD-3-Clause010

llvm-project-cheri

Fork of LLVM adding CHERI support

Language:C++010

sva_freebsd93

Adding SVA support for FreeBSD93

Language:CNOASSERTION02 1

tinyvmi

LibVMI in MiniOS. This repo is out-of-date, see https://github.com/tinyvmi/tinyvmi for latest updates.

Language:C020

bargraph

Clustered/Stacked Filled Bar Graph Generator

Language:Perl 6020

BESSPIN-GFE-2019

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

Language:Verilog010

bogo

bogo for ASPLOS'19

Language:C++GPL-2.0010

cheribsd

FreeBSD adapted for the CHERI CPU.

Language:CNOASSERTION010

cheribuild

Easily build and run CHERI related projects

Language:PythonNOASSERTION010

crix

Detect missing check bugs in OS kernels

Language:C++010

docker-hugo

Docker base image for static sites generated with Hugo

Language:DockerfileMIT010

hdfi

Hardware-assisted Data-flow Isolation

Language:C010

latex-docker

Docker-based latex compilation

Language:MakefileMIT010

libvmi

Language:CLGPL-3.0020

llvm

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

Language:LLVMNOASSERTION020

llvm-docker

Build LLVM in Docker Container

Language:Shell020

machine-learning-books

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

010

os_bench

Language:LLVM030

p.haul

Live migration using CRIU

Language:PythonNOASSERTION020

panda

Hosting the "Dead Write Detection Plugin" ported from Deadspy

Language:CNOASSERTION020

qemu

QEMU with support for CHERI

Language:CNOASSERTION010

riscv-isa-manual

RISC-V Instruction Set Manual

Language:TeXCC-BY-4.0000

sharelatex

A web-based collaborative LaTeX editor

Language:CoffeeScriptAGPL-3.0020

SVA

Secure Virtual Architecture

Language:C++NOASSERTION020

sva_freebsd90

Language:CNOASSERTION020

tinyvmi-blog-hugo

Language:CSS020

WM-AS-thesis-latex-template

[CONTRIBUTORS NEEDED] A LaTeX template keeps up with the the College of William and Mary Art & Science Physical Standards for Theses & Dissertations.

Language:TeXMIT010