Pinned Repositories
atrias_imu
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++
libtock-rs
Rust userland library for Tock
jrvanwhy's Repositories
jrvanwhy/libtock-rs
Rust userland library for Tock
jrvanwhy/tock
A secure embedded operating system for Cortex-M based microcontrollers
jrvanwhy/battleship_ai
A hit probability calculator for the Battleship game.
jrvanwhy/comprehensive-rust
jrvanwhy/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.
jrvanwhy/dyn_tool
MATLAB tool for formulating the dynamics of systems.
jrvanwhy/elf2tab
Tool to create Tock Application Bundles from ELF files.
jrvanwhy/instance-identity
A document describing how (in my opinion) C++'s and Rust's definitions of object instance differ.
jrvanwhy/ladon
Python but better (TM).
jrvanwhy/libtock-c
Userland apps for Tock written in C and C++
jrvanwhy/miri
An interpreter for Rust's mid-level intermediate representation
jrvanwhy/nerf_turret
Firmware and libraries for a Lego-mounted Nerf turret.
jrvanwhy/OpenSK
OpenSK is an open-source implementation for security keys written in Rust that supports both FIDO U2F and FIDO2 standards.
jrvanwhy/opentitan
OpenTitan: Open source silicon root of trust
jrvanwhy/optlib
A set of numerical optimization-related libraries for matlab and C++
jrvanwhy/orbit_sim
Stupid simple orbit simulator for performance tests
jrvanwhy/osfc-checklists
Checklists for OSFC aircraft.
jrvanwhy/peuler-lib-rust
A Rust library for solving Project Euler problems. Does not contain any solutions!
jrvanwhy/phinal
Rust library for the computation of Euler's totient function.
jrvanwhy/pokemon_ai
Tournament-based Pokemon team selection using various AI methods.
jrvanwhy/rust
Empowering everyone to build reliable and efficient software.
jrvanwhy/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
jrvanwhy/serde-annotate
Serde Serializer with formatting controls
jrvanwhy/syntect
Rust library for syntax highlighting using Sublime Text syntax definitions.
jrvanwhy/tock-book
Tock Hands-on Guide
jrvanwhy/tock-on-titan
Ports of Tock OS to Titan chips.
jrvanwhy/tockloader
Tool for programming Tock onto hardware boards.
jrvanwhy/traj_opt
A simple optimization framework for MATLAB with a couple trajectory optimization-related functions.
jrvanwhy/wg-async-foundations
Working group dedicated to improving the foundations of Async I/O in Rust
jrvanwhy/zerocopy