Pinned Loading

1. pbt pbt Public

   High-throughput property-based testing with `derive`, swarm testing, precise sizing, and full graph-theoretic type analysis over mutually inductive and uninstantiable types.

   Rust

2. buoy buoy Public

   ESP32 vital-signs wristband with ML & onboard display, without a HAL.

   C

3. nixos-configuration nixos-configuration Public

   NixOS configuration

   Nix

4. rsmonad rsmonad Public

   Haskell-style monads in Rust.

   Rust 27

5. esp32s3-video-stream esp32s3-video-stream Public

   Real-time (~50ms) UDP video with a XIAO ESP32S3 Sense.

   Python 3

6. dxl dxl Public

   Dynamixel Protocol 2.0 packets at compile time in Rust

   Rust