jlamb-at-polysync

Pinned Repositories

• arduino-rtc-relay

  RTC Driven Relay Controller for Arduino

  Language:Arduino00

• garden-monitor-prototype

  Prototype project to monitor garden environment

  Language:C20

• hobd-module

  Honda on-board diagnostics module (part of my cbr-hacks)

  Language:C00

• hobd-prototype

  On-board Diagnostics and Navigation for Honda CBR 1000 RR

  Language:C00

• home-network-dds-experiments

  TODO

  Language:C00

• walnut-timer

  A timer/stopwatch enclosed in a piece of carved walnut.

  Language:C++00

• cargo-fel4

  A Cargo subcommand for working with feL4 projects.

  Language:Rust52122412

• doogie

  libcmark wrapper written in Rust

  Language:Rust2503

• fel4-config

  Parsing, transformation and validation for feL4 configuration data

  Language:Rust3504

• libsel4-sys

  Building seL4 and generating Rust bindings based on feL4 configuration

  Language:Rust208109

jlamb-at-polysync's Repositories