Pinned Repositories
aoc2020
book
Tock Hands-on Guide
pensieve
Neural Adaptive Video Streaming with Pensieve (SIGCOMM '17)
rlu-rust
Implementation of Read-Log-Update in Rust
safe-sports-streams
tock
A secure embedded operating system for Cortex-M based microcontrollers
wcet-rs
Utilities for finding the longest paths (in LLVM-IR) through Rust functions.
hudson-ayers's Repositories
hudson-ayers/rlu-rust
Implementation of Read-Log-Update in Rust
hudson-ayers/wcet-rs
Utilities for finding the longest paths (in LLVM-IR) through Rust functions.
hudson-ayers/pensieve
Neural Adaptive Video Streaming with Pensieve (SIGCOMM '17)
hudson-ayers/aoc2020
hudson-ayers/safe-sports-streams
hudson-ayers/tock
A secure embedded operating system for Cortex-M based microcontrollers
hudson-ayers/book
Tock Hands-on Guide
hudson-ayers/contiki
The official git repository for Contiki, the open source OS for the Internet of Things
hudson-ayers/contiki-ng
Contiki-NG: The OS for Next Generation IoT Devices
hudson-ayers/dash.js
A reference client implementation for the playback of MPEG DASH via Javascript and compliant browsers.
hudson-ayers/Design_Considerations_Low_Internet_Draft
Repository for drafting Internet-Draft from 6Lo Design paper
hudson-ayers/glint
Glint: High performance scala parameter server
hudson-ayers/glintlda
Scalable Distributed LDA implementation for Spark & Glint
hudson-ayers/haybale
Symbolic execution of LLVM IR with an engine written in Rust
hudson-ayers/hubris
A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
hudson-ayers/imix
imix Low-Power IoT Research Platform
hudson-ayers/libtock-c
Userland apps for Tock written in C and C++
hudson-ayers/libtock-rs
Rust userland library for Tock
hudson-ayers/openthread
OpenThread released by Nest is an open-source implementation of the Thread networking protocol
hudson-ayers/pdr
A repo for a Program and Data Representation university-level course
hudson-ayers/rust
Empowering everyone to build reliable and efficient software.
hudson-ayers/tinyos-main
Main development repository for TinyOS (an OS for embedded, wireless devices).
hudson-ayers/tock-nrf-serialization
nRF51 BLE Serialization for Tock Platform Co-processors.
hudson-ayers/tock-www
Tock OS website