We build software for the places where "it went down" is not an acceptable answer. Central banks, defence forces, refugee case management systems, payment networks. The unglamorous, load-tested, formally-verified work of making African institutions not depend on infrastructure built for someone else's problems.
18 products · 10 domains · 12 nations · since 2017
Eighteen products. Ten domains. All built in Africa.
Sovereign intelligence and defence platform, live with IGAD, EASF and the African Union. Battle management end to end: MDMP planning, D3A targeting, AI-assisted battle-damage assessment, wargaming, blue-force tracking, coalition interop. Plus early warning, elections, humanitarian and disaster response.
AI-powered SaaS for Private Security Companies. GPS attendance, smart dispatch, ARC alarm monitoring, M-Pesa payroll, ONVIF CCTV, cross-PSC marketplace. Covers KE, UG, TZ.
Digital operating system for Kenya Police Service. Offline-first OB entries, custody management, evidence capture, biometric-bound action receipts, NTSA / IPRS / ODPP integration.
African payment switch at 50,000 TPS. ISO 8583 / 20022, Visa, Mastercard, NIBSS, Interswitch. Post-quantum cryptography, AML, PCI DSS v4. Formal TLA+ verification on all critical state machines.
The command post for a one-person company. One queue for everything that needs a decision, with the money attached, and a close that finishes without you.
Regulated real-world asset tokenization. ERC-3643 security tokens, 5 chains (ETH / Polygon / Solana / Hedera / Aptos), KYC/KYB gating, Rust ATS matching engine, integrated investor LMS. Transfer restrictions enforced in the smart contract, not by policy — the assurance chain investors, custodians and regulators verify.
Enterprise fleet management for African logistics. Real-time GPS (200+ hardware protocols), 7 payment gateways, Boda Boda micro-logistics, AI dispatch, EV charging, cross-border SADC/EAC compliance.
AI visual inspection for factories and industrial sites. YOLO + VLM defect detection, managed camera fleet, SPC / FMEA / CAPA quality suite, ISO 9001 / IATF 16949 / 21 CFR Part 11 compliance.
Document management for large-scale digitization. Multi-engine OCR (PaddleOCR + Tesseract + Qwen-VL), semantic search, layered RBAC / ABAC / ReBAC security, physical inventory tracking.
Adaptive Learning Engine for STEM. Socratic AI tutor, BKT + IRT + CDM triple-model diagnostics, knowledge-graph prerequisite backtracking, FSRS spaced repetition, affect detection without cameras.
Multi-tenant school management for African institutions. CBC-aligned records, M-Pesa / Flutterwave fees, LTI 1.3, OneRoster 2.0, KCSIE 2025 safeguarding, live video via Mediasoup SFU.
Generate full business applications from a DSL, DBML, SQL DDL, or natural language. Flask-AppBuilder, GraphQL, 18+ ERP starter modules, multi-target: web, PWA, mobile, desktop, chatbot.
351 pre-built business capability packages across 28 domains. Composable, deployable. Africa-first: M-Pesa, MTN MoMo, Airtel Money, 7-country PAYE payroll, and CBK compliance built in.
Open-source EMV Level 2 kernel in Rust. Certification variables live in signed JSON bundles — not compiled source. Stable C ABI, 100% line coverage. Lab readiness without proprietary black boxes.
Multi-surface financial OS for regulated credit, insurance, marketplace finance, and savings in East Africa. M-Pesa rails, NTSA logbook liens, CRB checks, IFRS 9 ECL provisioning, aligned to the CBK Digital Credit Provider framework.
Legal practice management for Kenyan law firms. Matter tracking, trust accounting with maker/checker, eKejiji court filings, KRA eTIMS billing, AI-powered legal research against Kenya Law, KYC/AML screening.
Consent-first oral history ingest and public archive. Interview workspace, narrator consent management, immutable preservation pipeline, automated transcripts, offline-first Flutter mobile app, OAI-PMH public archive.
Portable workflow framework for regulated multi-tenant applications. JSON DSL, parallel fork/join, 15 host ports, JTBD-to-application generator, 30 domain bundles. Build compliant apps without reinventing the plumbing.
Automating chart-beating Afrobeats. AI generates complete tracks — vocals, instruments, and lyrics in 8+ African languages in under 2 minutes. ACE-Step 1.5, Llama-3 fine-tuned, RVC v2.
Upload a 30-second engine recording, get an AI-generated PDF diagnostic report for the Land Rover Puma 2.4 diesel. FFT spectral analysis, wavelet decomposition, acoustic fingerprinting.
The principles behind every line of code.
Built for M-Pesa, MTN MoMo, EAC corridors, PSRA compliance, CBK regulations, and 12 African languages. Not ported from a Western product — designed here, for here, with local regulatory expertise baked in.
Post-quantum cryptography, formally verified state machines, and continuous compliance evidence against PCI DSS v4, SOC 2 and ISO 27001. Infrastructure that governments, banks, and peacekeeping forces trust with critical operations.
Four products, fully open. Community-driven, production-ready.
Generate complete business applications from a compact DSL, DBML, SQL DDL, or natural language. Outputs Flask-AppBuilder models, GraphQL APIs, 18+ ERP modules, and multi-target builds for web, PWA, mobile, and chatbot.
351 independently-deployable business capability packages across 28 domains. A terse DSL compiles them into self-contained production Python apps. Africa-first: M-Pesa, MTN MoMo, 7-country PAYE payroll baked in.
Open-source EMV Level 2 kernel in Rust. Certification variables live in signed JSON bundles, not compiled source. Stable C ABI, 100% line coverage target, deterministic lab artifact generation. EMV lab readiness without expensive proprietary kernels.
Adaptive Learning Engine. Socratic AI tutor that never gives the answer — asks questions until the learner constructs it. BKT + IRT + CDM triple-model diagnostics, prerequisite-graph backtracking to root gaps, FSRS spaced repetition per learner per concept. 45,721 concepts across 6 STEM curricula.
Portable workflow framework for regulated multi-tenant applications. JSON DSL with compiler, simulator, and parallel fork/join. 30 domain JTBD bundles. JTBD-to-application generator emits backend, frontend, tests, and docs in one pass. MIT.
Experiments from the workshop. Maintained on curiosity, not roadmaps.
Automating chart-beating Afrobeats. Feed it a genre, mood, and language — it outputs a complete track with vocals, instruments, and lyrics in under 2 minutes. Supports Yoruba, Igbo, Hausa, Swahili, Lingala, and more.
ACE-Step 1.5 · Llama-3 fine-tuned · RVC v2Upload a 30-second engine recording, receive an AI-generated PDF diagnostic report for the Land Rover Puma 2.4 diesel — by email. FFT spectral analysis, wavelet decomposition, acoustic fingerprinting. Built on a weekend because we could.
Python · SciPy · PyWavelets · MatplotlibDeep dives, product stories, and thoughts on building software in Africa.
Tell us about your project. We respond within 24 hours.
Or call us: +254 726 631 615 · hello@datacraft.co.ke