Hardware
Radio hardware, board interfaces, and relay control, with attention to battery and solar power budgets.
JohnneyleeRollins.
Hardware. Software. AI.
johnneylee.com / johnneyl.ee
Areas of focus
Software
Firmware, Linux and kernel development, applications, and the infrastructure that connects them.
AI
Local models, agent tooling, and automation that connects AI to real systems and workflows.
Selected work
Embedded systems, language tooling, parallel computation, and data security.
ESP32 / DISTRIBUTED SYSTEMS
Atlas
Built with Nelua and Lua on ESP32, Atlas brings distributed systems to the field and feeds animals across North America. It combines offline-first LoRa communication and reliable scheduling on power-budgeting field hardware.
TERMINALS / GAME INTEGRATION
View on GitHubGhostty Dalamud
Ghostty terminal integration for Final Fantasy XIV through Dalamud.
DISTRIBUTED SYSTEMS / RESEARCH
Explore CursorsCursors
A distributed-systems research prototype for portable computation with cryptographically signed execution history. Cursors combines an executable runtime model, SQLite-backed continuation scheduling, and an interactive console for inspecting execution and peer connectivity.
DATA INTEGRITY / WEB SECURITY
SignedData / SignedForm
SignedData explores compact, verifiable data envelopes with bounded parsing and authentication of the original bytes. SignedForm brings signed field policies to Rails forms, with destination checks and view-digest validation.
LANGUAGE TOOLING / EMBEDDED SYSTEMS
Nelua
I build firmware with Nelua and extend the language in my own fork: freestanding compilation, const pointers, variants and exhaustive matching, owned records, compile-time function evaluation, and C-header binding generation. Atlas puts Nelua to work in native firmware, radio and modem interfaces, device drivers, graphics, and Bluetooth.
NATIVE RUNTIMES / UNIX TOOLS
Nelibc / Nebox
Nelibc rebuilds C library functions in Nelua, with working hybrid builds and a standalone runtime in progress. Nebox builds a multicall Unix toolset on that foundation. The work connects language development to practical libraries and command-line tools, with compatibility checked against reference implementations.
BEND 2 / FORMULA EVALUATION
Bend
I use Bend 2 to explore parallel computation and build libraries with explicit verification. Formula.bend reimplements parts of Ruby Dentaku with exact decimal arithmetic, typed formula evaluation, and differential checks on JavaScript and native CPU. Libc.bend experiments with C library functions layered over Nelibc. Both remain works in progress.
DATA POLICY / CAPABILITY SYSTEMS
Writ
A Bend 2 library for information-flow control, capability-bound operations, and multiparty approval. Writ preserves origin restrictions through copies and transformations, independently verifies solver proposals, and rechecks current authority before producing a scoped write intent. WritFS adds policy-gated Btrfs snapshots and ZFS clones. Complete protected hosts and durable authorized publication remain integration work.
Spaceghost
Explore repositories and contributions