Vexta
FeaturedZero-knowledge desktop communications suite with end-to-end encryption. Powered by Tauri v2, Rust, and React 19, communicating over a high-throughput Axum relay bridge.
I'm a full-stack developer and AI solutions engineer based in Tacloban City, Leyte, Philippines. I design system architecture and verify every line of output — AI-assisted implementation on top of Django, Rust, and React, with security enforced from the first schema to the final audit.
I leverage agentic coding to rapidly draft architectures and code, but every output undergoes strict human oversight and manual structural verification before entering a repository. No unverified AI code ships.
Security enforced from the first schema to the final audit.
I design system architecture and verify every line of output — AI-assisted implementation on Django, Rust, and React.
High-performance real-time messaging ecosystem. Combines a native Tauri v2 + React 19 desktop client with a blazingly fast asynchronous Rust relay bridge built with Axum 0.7, Tokio, and SQLite in WAL mode for blind, zero-copy packet routing.
Blind store-and-forward relay hub powered by Tokio runtime and DashMap routing.
Low-latency desktop client built with Tauri v2, React 19, and local caching.
End-to-end client-side encryption ensures no plaintext data ever touches the relay.
Cross-platform desktop application for high-speed client-side secret management and file encryption. Powered by Tauri v2, Rust, and the Web Crypto API, providing hardware-accelerated AES-256-GCM protection before local storage or sync.
Native Web Crypto API cryptographic operations with PBKDF2 salt stretching.
All files and credentials are encrypted on the client device before touching disk.
Memory-safe Rust architecture delivering instantaneous launch and low footprint.
Multi-tenant fleet management SaaS for Philippine PUV cooperatives. Automates dispatch, live GPS tracking, POS ticket issuance, automated fare calculation, and operator analytics. Live demo running on Cloudflare Pages.
Real-time vehicle telemetry with animated route mapping via Leaflet.
Per-tenant dashboard for dispatch, scheduling, and operator analytics.
Automated fare calculation and point-of-sale ticket issuance for PUV routes.
My work has shifted from hand-writing every line to directing AI-assisted implementation — which makes architecture, review, and verification the parts that actually matter. These are the tools I design systems around, not a self-assigned proficiency score.
Service layer, async task orchestration, and retrieval pipelines.
Typed component systems, data layers, and state architecture.
Zero-copy relay design, concurrent runtimes, and native bridges.
Server-rendered interactivity for admin-heavy government tooling.
Offline-first field tools for low-connectivity deployments.
Local-first vector search and vision pipelines, no cloud dependency.
Containerised deploys and edge delivery on Cloudflare.
Four production applications spanning government tooling, cooperative fleet operations, and encrypted desktop clients. The full project archive covers everything else.
Zero-knowledge desktop communications suite with end-to-end encryption. Powered by Tauri v2, Rust, and React 19, communicating over a high-throughput Axum relay bridge.
Zero-trust client-side data and secret encryption suite built with Tauri v2, Rust, React 18, and Web Crypto API for hardware-accelerated local data protection.
Administrative government platform for Philippine local government units (LGUs). Features rapid resident registry queries, incident blotters, and instant certificate issuance.
Multi-tenant fleet management SaaS for Philippine PUV cooperatives with live GPS tracking, dispatch schedules, POS ticketing, and operator analytics.
AI-accelerated development with human-enforced architectural oversight. Maximizing speed and modernity while maintaining rigorous engineering standards.
Leveraging advanced agentic coding systems to rapidly draft project architectures, schema definitions, and initial codebases.
Dividing the development pipeline into separate, self-contained development cycles.
Enforcing quality and reliability at every layer using a hybrid method.
Subjecting all code modifications to rigorous testing frameworks.