jrvanwhy

libtock-rs

Rust userland library for Tock

tock

A secure embedded operating system for Cortex-M based microcontrollers

battleship_ai

A hit probability calculator for the Battleship game.

comprehensive-rust

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.

dyn_tool

MATLAB tool for formulating the dynamics of systems.

elf2tab

Tool to create Tock Application Bundles from ELF files.

instance-identity

A document describing how (in my opinion) C++'s and Rust's definitions of object instance differ.

ladon

Python but better (TM).

libtock-c

Userland apps for Tock written in C and C++

miri

An interpreter for Rust's mid-level intermediate representation

nerf_turret

Firmware and libraries for a Lego-mounted Nerf turret.

OpenSK

OpenSK is an open-source implementation for security keys written in Rust that supports both FIDO U2F and FIDO2 standards.

opentitan

OpenTitan: Open source silicon root of trust

optlib

A set of numerical optimization-related libraries for matlab and C++

orbit_sim

Stupid simple orbit simulator for performance tests

osfc-checklists

Checklists for OSFC aircraft.

peuler-lib-rust

A Rust library for solving Project Euler problems. Does not contain any solutions!

phinal

Rust library for the computation of Euler's totient function.

pokemon_ai

Tournament-based Pokemon team selection using various AI methods.

rust

Empowering everyone to build reliable and efficient software.

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

serde-annotate

Serde Serializer with formatting controls

syntect

Rust library for syntax highlighting using Sublime Text syntax definitions.

tock-book

Tock Hands-on Guide

tock-on-titan

Ports of Tock OS to Titan chips.

tockloader

Tool for programming Tock onto hardware boards.

traj_opt

A simple optimization framework for MATLAB with a couple trajectory optimization-related functions.

wg-async-foundations

Working group dedicated to improving the foundations of Async I/O in Rust

zerocopy