hudson-ayers Goto Github PK

aoc2020

book

Tock Hands-on Guide

contiki

The official git repository for Contiki, the open source OS for the Internet of Things

contiki-ng

Contiki-NG: The OS for Next Generation IoT Devices

dash.js

A reference client implementation for the playback of MPEG DASH via Javascript and compliant browsers.

design_considerations_low_internet_draft

Repository for drafting Internet-Draft from 6Lo Design paper

glint

Glint: High performance scala parameter server

glintlda

Scalable Distributed LDA implementation for Spark & Glint

haybale

Symbolic execution of LLVM IR with an engine written in Rust

hubris

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

imix

imix Low-Power IoT Research Platform

libtock-c

Userland apps for Tock written in C and C++

libtock-rs

Rust userland library for Tock

openthread

OpenThread released by Nest is an open-source implementation of the Thread networking protocol

pdr

A repo for a Program and Data Representation university-level course

pensieve

Neural Adaptive Video Streaming with Pensieve (SIGCOMM '17)

rlu-rust

Implementation of Read-Log-Update in Rust

rust

Empowering everyone to build reliable and efficient software.

safe-sports-streams

tinyos-main

Main development repository for TinyOS (an OS for embedded, wireless devices).

tock

A secure embedded operating system for Cortex-M based microcontrollers

tock-nrf-serialization

nRF51 BLE Serialization for Tock Platform Co-processors.

tock-www

Tock OS website

wcet-rs

Utilities for finding the longest paths (in LLVM-IR) through Rust functions.