#[derive(BartDisplay)] implementation for supporting the bart package
Compile time templating inspired by Mustache
Distribute and run transformer encoders with a single file.
nrf52833 PWM driver for ws2812 leds
nrf52833 PWM driver for ws2812 leds
VeriPB is a proof checker for verifying pseudo-Boolean certificates of satisfiability, unsatisfiability, and optimality bounds.
Library for polymorphic encryption and pseudonymization