40 × 30 mm

Usb sensor
Randozart/briev-lang
Briev: a contract-enforced programming language and compiler. Verified state transitions, LLVM backend, reactive execution, multi-target codegen (native/embedded/GPU/hardware/web).
17 parts40
Open-source boards designed in KiCad by Randozart on GitHub, from 1 repository. A board’s address here is its repository’s there.

Randozart/briev-lang
Briev: a contract-enforced programming language and compiler. Verified state transitions, LLVM backend, reactive execution, multi-target codegen (native/embedded/GPU/hardware/web).