Skip to content
View JeffMboya's full-sized avatar

Block or report JeffMboya

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
jeffmboya/README.md

πŸ‘‹ Hi, I'm Jeff Mboya

Software Engineer II at Abstract Machines, Paris Β· Remote from Nairobi, Kenya

I debug PCB traces, PLC ladder logic, and Go goroutines in the same week.

Most hardware engineers can't read a goroutine trace. Most software engineers can't read a schematic. I do both β€” and I've shipped proof of each.

One of six pioneers of Kenya's first student rocket program. One of two engineers who built the Global South's first working direct air capture machine. Now building WASM orchestrators that run on $4 microcontrollers.


πŸ“Š Activity

Profile Views

GitHub Streak


πŸ”§ Stack

Systems & Edge: Go Rust C WebAssembly Zephyr RTOS

Web & Data: TypeScript Python PostgreSQL Redis

Infra & Security: Kubernetes Docker gRPC AMD SEV-SNP

Hardware: PCB Design ESP32 RISC-V PLC


πŸš€ Now

  • Propeller β€” WebAssembly orchestrator for the EU ELASTIC project. <10ms boot, 24 concurrent WASM instances on a $4 ESP32-S3, TEE-backed workload migration across trust boundaries, federated learning pipeline that compiles sklearn classifiers into ARM-deployable WASM binaries.
  • Cube AI β€” Confidential LLM inference inside AMD SEV-SNP / Intel TDX hardware enclaves. <10% throughput overhead vs unprotected baseline. OpenAI-compatible API for LLaMA, Mistral, and Qwen.
  • Scripli β€” Human authorship certificate platform, built solo. Behavioral text classifier, cryptographic certificate pipeline, LTI 1.3 institutional integration. Users in Kenya, Nigeria, Georgia, South Africa, US, Australia, and Germany.

🀝 Open source

  • Magistrala β€” 570+ commits to a 30-service Go platform with 2.5k+ GitHub stars. 400+ active deployments across Nokia, Ericsson, Intel, and 13+ global partners. Owns: Bootstrap security (patched critical SQL injection), billing event-store middleware, SpiceDB access control extensions, full Kubernetes pipeline β€” Helm, FluxCD, Flagger canary rollouts, Velero backup.

πŸ› οΈ Personal projects

  • Radar β€” arXiv IR pipeline in Go. Parallel per-paper NLP extraction and cross-document synthesis across 50+ papers per run. radar build <N> generates full project briefs.
  • Swarm β€” Multi-agent market simulator. 15 concurrent trader personas with distinct strategies, two-round debate model, emergent consensus tracking.

πŸ”© Hardware

  • 8+ PCBs fabricated for industrial sensing, IoT, and edge compute
  • ESP32-C6, SIM7080G NB-IoT, Wireless M-Bus, BeagleV-Fire RISC-V
  • Zephyr RTOS board bring-up, TIA Portal / PLC programming, sensor fusion
  • S0 and S1 IoT gateways at Abstract Machines shipping to industrial deployments

πŸ† Awards

  • IBM Call for Code β€” Regional Winner, MEA (2021) Β· 500,000+ developers, 180 nations
  • Huawei Seeds for the Future β€” 2nd Runners-up, Kenya (2021) Β· gamified AI for early cataract detection in children
  • 3 international PCT patents (WIPO, 2025) Β· direct air capture technologies

πŸ“« Links

Portfolio LinkedIn

Pinned Loading

  1. propeller propeller Public

    Forked from absmach/propeller

    Wasm orchestrator and rules engine built on the top of Magistrala

    Go

  2. AudioMuse-AI AudioMuse-AI Public

    Forked from NeptuneHub/AudioMuse-AI

    AudioMuse-AI is an Open Source Dockerized environment that brings automatic playlist generation to Jellyfin, Navidrome, LMS, Lyrion and Emby. Using powerful tools like Librosa and ONNX, it performs…

    Python

  3. gsoc-web-projects gsoc-web-projects Public

    Forked from idontknowjs/gsoc-web-projects

    List of web based GSoC Open Source organizations & projects πŸš€

  4. kubernetes kubernetes Public

    Forked from kubernetes/kubernetes

    Production-Grade Container Scheduling and Management

    Go

  5. linux linux Public

    Forked from torvalds/linux

    Linux kernel source tree

    C