http://bor0.wordpress.com/
@Automattic Skopje, North Macedonia Software Engineer
Boro Sitnikovski
A virtual machine for ESP32, allowing dynamic program updates.
bor0
Book: Introduction to Dependent Types with Idris
