yuhui-zheng

freedom-e-sdk

Open Source Software for Developing on the Freedom E Platform - Deprecated

requests

A simple, yet elegant, HTTP library.

keystone-demo

Demo host and enclave applications exercising most functionality.

keystone

Keystone Enclave (QEMU + HiFive Unleashed)

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

firecracker

Secure and fast microVMs for serverless computing.

tmk_keyboard

Keyboard firmwares for Atmel AVR and Cortex-M

kubernetes

Production-Grade Container Scheduling and Management

riscv-tests

ScrollSpiral

WebGL Scroll Spiral

riscv-pk

RISC-V Proxy Kernel

educational-materials

Educational materials for RISC-V

rcore_plus

Rust version of THU uCore OS. Linux compatible.

homebrew-riscv

homebrew (macOS) packages for RISC-V toolchain

rocket-chip

Rocket Chip Generator

tvm

Open deep learning compiler stack for cpu, gpu and specialized accelerators

xeus-cling

Jupyter kernel for the C++ programming language

FreeRTOS-Kernel

FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.

FreeRTOS

'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.

cryptoauth-openssl-engine

DEPRECATED: Use https://github.com/MicrochipTech/cryptoauthlib/wiki/PKCS11-Linux-Setup

tink

Tink is a multi-language, cross-platform, open source library that provides cryptographic APIs that are secure, easy to use correctly, and hard(er) to misuse.

GitHub-Dark-Script

Archived - Please use https://github.com/StylishThemes/GitHub-Dark directly

riscv-isa-sim

Spike, a RISC-V ISA Simulator

example-pmp

embedded-trainings

Ferrous Systems Embedded Trainings

cbmc

C Bounded Model Checker

smack

SMACK Software Verifier and Verification Toolchain

virtualagc

Virtual Apollo Guidance Computer (AGC) software

python-github3

Python wrapper for GitHub API v3

rr

Record and Replay Framework