Armel Tenkiang

Distributed systems, local-first software, and verification-heavy tools.

20+ years in software. I work mainly in TypeScript and Python on systems that need to stay correct under partial connectivity, delayed inputs, and uneven operator behaviour.

Training Computer science · SCS
Tools TypeScript · Python · distributed data
Current work MyCasaPro · Liga do Povo · Au Jour Le Jour · Respometer

Projects

GitHub: 222 contributions in the last 12 months, as of August 27, 2026; 206 tracked project commits in 2026.

In the lab

MyCasaPro

Home-operations system with local state, LTI agent coordination, user-owned connectors, a persistent knowledge vault, and linked private settlement.

Live

Liga do Povo

Pickup-football directory for finding public fields and real games by place, time, intensity, and availability, with recurring listings, guest RSVPs, gear coordination, and field reports.

Active

Theo.farm

Field operations system for small growers: planning, task flow, stock, and notes with offline storage and delayed sync.

Live

Au Jour Le Jour

Private recurring-bill and essentials tracker with monthly planning, due-state views, readable backups, and optional household sharing. It never connects to a bank or moves money.

Live

Respometer

Current-event analysis system with harm assessment, actor scoring, evidence updates, comparison, and revision-aware public pages.

Research

GhostProtocol

Private transaction interface for shielding, transfer, unshielding, and payment linkage on supported chains.

In the lab

ChattyPatty

Distributed inference market with gateway routing, lease assignment, usage receipts, and provider attestations.

Active

Soundcheck.AI

Filing analysis system for nonprofits and schools, built to inspect spending patterns against public claims.

View all project pages

Programming Updates

Recent changes verified against project commits and release evidence.

Last updated: August 16, 2026

Each entry links to its public source or a verified programming note.

Current Work

Systems

MyCasaPro, Liga do Povo, Au Jour Le Jour, Respometer, Theo.farm, and Soundcheck.AI.

Research

ZK proofs, bounded context for LLM systems, private settlement, and append-only coordination.

Method

Local ownership, operator-readable state, and verification before automation.

Contact

For technical context, project notes, or an introduction, send a short message.

Email