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
KiCad boards from 1 GitHub repository tagged “programming-language”, the most starred first; open any of them in PCBKit.

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).