[ DEXA ] v0.0.8 ● EXPERIMENTAL
CPU · GPU · WASM · DX-VM
DEXA
Copied
DX — developer of DEXA

DX

Developer of DEXA

Systems Analyst & language designer.

I work at the intersection of systems thinking, healthcare infrastructure, and language design — same discipline, different constraints. With over a decade in healthcare IT I focus on automation, clinical integrations, and high-reliability workflows. That same rigour drives DEXA: small, well-defined cores that can be reasoned about and verified. Beyond healthcare I'm interested in deterministic execution, contract safety, and GPU-backed compute.

Professional memberships

  • MBCS — Member of the British Computer Society
  • AdvRITTech — Advanced Register of IT Technicians
  • Senior FEDIP Practitioner — Federation for Informatics Professionals

Working towards CITP (Chartered IT Professional) by the end of this year.

DEXA reference compiler and runtime: hand-written front-end, typed IR, and deterministic interpreter.

  • Languages: Rust
  • Build & tooling: Cargo, rustc
  • Pipeline: Lexer → Parser → AST → Type checker → IR (lowering) → IR validation → Interpreter
  • Error handling: Structured errors with span tracking
  • Runtime: Deterministic interpreter, gas metering, execution trace

Components: lexer, parser, ast, typecheck, ir, lowering, validate_ir, interp. Designed for static typing, explicit contracts, and auditable execution.

This site: static-first, component-based, accessible, and fast.

  • Languages: HTML5, CSS3, JavaScript, TypeScript
  • Framework: Astro (SSG, component-based)
  • Styling: Tailwind CSS, PostCSS
  • Build: Vite
  • Practices: Responsive layout, semantic HTML, ARIA and focus management, skip links, minimal client JS, static generation

Typography: JetBrains Mono. Design: dark theme, accent highlights, scroll progress, on-page navigation, copy-to-clipboard code blocks.

Compiler: Rust, Cargo. Website: Astro, Tailwind CSS, TypeScript, Vite. General: GitHub, version control, structured docs.

No frameworks beyond what's listed — lean dependencies, clear ownership of behaviour and performance.

github.com/dxiv

contact@dxa.dev