The Embedded and Operating Systems group at GWU

aWsm

WebAssembly ahead-of-time compiler and runtime. Focuses on generating fast code, simplicity, and portability.

composite

A component-based OS

sledge-serverless-framework

SLEdge: a serverless runtime designed for the Edge.

ps

Parallel sections library for parallel data-structures

wasm_apps

A runtime-neutral repo of third-party apps ported to WebAssembly.

sunneed

Testbed for power management

linux_bench

Set of benchmarks for system calls on Linux. A focus on average and tail.

sledge-prometheus-grafana

A preconfigured prometheus and grafana deployment to display a custom dashboard for the SLEdge runtime.

speechtotext

A simple text-to-speech function modified to run under Sledge

systems_musings

Thoughts and links for unstructured chats about systems.

ck

Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance concurrent systems developed in C99+.

CMSIS_5

CMSIS Version 5 Development Repository

CMSIS_5_NN

Trying CMSIS_5_NN

cmu-sod

dpdk

Data Plane Development Kit

gocr

Cloned gocr-0.50.tar.gz from http://jocr.sourceforge.net/download.html

llvm-rs

LLVM wrappers for Rust

lwip

memcached

memcached development tree

pocketsphinx

PocketSphinx is a lightweight speech recognition engine, specifically tuned for handheld and mobile devices, though it works equally well on the desktop

sel4bench

sel4 benchmarking applications and support library.

sod

An Embedded Computer Vision & Machine Learning Library (CPU Optimized & IoT Capable)

sparcfire

sphinxbase

TinyEKF

Lightweight C/C++ Extended Kalman Filter with Python for prototyping

u-boot

"Das U-Boot" Source Tree

u-boot-xlnx

The official Xilinx u-boot repository

wasmception

Minimal C/C++ language toolset for building wasm files

wast-preprocessor

zynq-mkbootimage

An open source replacement of the Xilinx bootgen application.