Technology Overview
The complete Converge technology stack
A comprehensive view of every technology we use, organized by platform and purpose. Each choice reflects our values: correctness over convenience, explicit over implicit, antifragile over robust.
At a Glance
Rust Ecosystem
Core backend services built for correctness and performance
Core Language
Memory-safe systems language with zero-cost abstractions
Web Frameworks & APIs
gRPC framework for Rust with async/await
Modular service abstraction layer (middleware)
OpenAPI documentation via procedural macros
Machine Learning & AI
N-dimensional arrays for numerical computing
OpenAI's tokenization (BPE) for LLM token counting
Fast embedding generation using ONNX
Data & Serialization
Universal serialization (JSON, YAML, Bincode)
Compact binary serialization format
Async Runtime & Concurrency
Data-parallelism for CPU-bound workloads
Stream generation using async/await
Sandboxing & Extensibility
Deterministic sandbox target for tenant-defined invariants and extensions
Distributed Consensus & Coordination
Leader election and authoritative commit ordering for runtime consensus in the distributed ledger setup
CLI & TUI
Command-line argument parser with derive macros
Terminal UI library for rich TUI applications
Cross-platform terminal manipulation
Observability
Metrics collection with Prometheus exporter
Optimization & Algorithms
Graph data structures and algorithms
Elixir/BEAM
Distributed ledger with fault-tolerant architecture
Core
Distributed database built into Erlang/OTP
Supervision trees, GenServers, fault tolerance
Clustering & Networking
Automatic cluster formation and healing
Elixir gRPC implementation
Code Quality
Static code analysis for Elixir
Dialyzer wrapper for type checking
Property-based testing library
iOS (Swift)
Native iOS application with SwiftUI
Core
Declarative UI framework
Latest iOS platform APIs
Networking
Protocol Buffers runtime
Non-blocking I/O (HTTP/2 transport)
Quality
Point-free's snapshot testing
Android (Kotlin)
Native Android application with Jetpack Compose
Core
Declarative UI toolkit
Latest Android SDK
Networking
Mobile-optimized Protobuf runtime
On-Device ML
Mobile-optimized ML inference
GPU acceleration delegate
Code Quality
Static analysis for Kotlin
JVM screenshot testing (no emulator)
Flow testing library
Web Frontend
TypeScript-first web application
Core
Routing & Animation
Declarative routing with data loading
Production-ready animation library
Validation & Content
Markdown parser and renderer
XSS sanitizer for HTML content
Deployment
Headless Chrome for prerendering
Infrastructure
DevOps, databases, and cross-cutting concerns
Databases
Communication
DevOps
Security
Architecture
Development Tools
AI & ML
Machine learning and AI infrastructure