dpgao Goto Github PK

aws-fpga

Official repository of the AWS EC2 FPGA Hardware and Software Development Kit

cambridge-l41-aos-labs

Cambridge L41/AOS laboratory experiments

cheri-cap-lib

A library of specific implementations of cheri and providing an abstract interface to those implementations

cheribsd

FreeBSD adapted for CHERI-MIPS, CHERI-RISC-V, and Arm Morello.

dotfiles

dpgao.github.io

flute

RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance

fmcad2021

imagemagick

🧙‍♂️ ImageMagick 7 fork for CheriBSD using sandboxed libpng

kcgi

minimal CGI and FastCGI library for C/C++

libpng

Libpng fork for cheribuild, configuring an easy-to-sandbox minimal version and bundling zlib

llvm-project

Fork of LLVM adding CHERI support

management

Automation scripts and notes

neomutt

:email: Teaching an Old Dog New Tricks -- IRC: #neomutt on irc.freenode.net

oh-my-zsh

A delightful community-driven (with 1,100+ contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

rlbox_sandboxing_api

Implementation of the RLBox sandboxing API

s3

S3 Client written in Swift

sicm

Exercises and notes on Structure and Interpretation of Classical Mechanics.

sqlite

🔵 A Swift wrapper for SQLite 3

swiftenv

Swift Version Manager

vapor

💧 A server-side Swift web framework.

yybench

A microbenchmark library for C