Johnathan Van Why's repositories
libtock-rs
Rust userland library for Tock
battleship_ai
A hit probability calculator for the Battleship game.
design-explorations
Sometimes we write code to test ideas before implementing (or not implementing) them in Tock OS. This repository gives that code a place to live so it can be referred to in the future.
instance-identity
A document describing how (in my opinion) C++'s and Rust's definitions of object instance differ.
nerf_turret
Firmware and libraries for a Lego-mounted Nerf turret.
osfc-checklists
Checklists for OSFC aircraft.
peuler-lib-rust
A Rust library for solving Project Euler problems. Does not contain any solutions!
pokemon_ai
Tournament-based Pokemon team selection using various AI methods.
serde-annotate
Serde Serializer with formatting controls
tock-book
Tock Hands-on Guide
tock-on-titan
Ports of Tock OS to Titan chips.
tockloader
Tool for programming Tock onto hardware boards.
wg-async-foundations
Working group dedicated to improving the foundations of Async I/O in Rust