8 products, one way of building them

HL7 v2, FHIR, DICOM, X12 and CDA in one program, with all four CMS-0057-F payer APIs. Reads Mirth Connect exports and runs their JavaScript unchanged.

• A replacement for Mirth Connect, run beside it until the two agree
• Tested in public with Inferno, the official FHIR test kits
• 31 MB of memory at rest; no Java to install

Apache 2.0 open source

A decision engine for health plans that cannot deny care without proving why. Every answer cites the plan's policy and the record; when evidence is missing it pends and says what is needed.

• Denies only on evidence of absence, never on silence
• Da Vinci PAS requests in, decisions out, through Perfuse
• Every decision explained in the plan's own words

Source available free for any health plan to run

A complete phone system for offices, contact centres and hosted providers, plus NG911 call handling, a P25 radio console and NG911 core services, in one program set up in the browser.

• An alternative to FreePBX and Asterisk, with neither underneath
• Imports FreePBX, Asterisk, 3CX, Cisco, Avaya and Mitel exports
• 911 features are a lab build, not yet certified

Apache 2.0 open source

Incidents, units recommended by road time, an offline dispatch map, a screen for every monitor, mark-outs, a mobile terminal, NIBRS and NCIC, all from the browser.

• Fire, EMS and police, with a call-taker workspace
• Works with any standards-compliant call handling, and fully with BitVoice
• Not yet certified for live 911 dispatch

Apache 2.0 open source

Tests payment hosts, card switches and trading venues over ISO 20022, ISO 8583 and FIX, and proves whether each answer was right, not just well formed.

• Every verdict carries a checked proof
• Built-in simulators, so it is useful on day one
• A headless runner for CI with JUnit reports

PolyForm Small Business free for small businesses; commercial licences available

Rules for machines written in plain words, checked against every situation before they run, then decided on an $11 chip with their reasons. Runs on Raspberry Pi Pico 2 and Arduino Uno R4, with a desktop studio.

• Worst-case timing measured on real silicon
• Independent proof checker and SAT cross-check
• Not yet certified for functional safety

PolyForm Noncommercial free for noncommercial use; commercial licences available

The argumentation engine behind BioDream's way of deciding, written in C++ on the CaDiCaL SAT solver. It refuses rather than guesses.

• Built for ICCMA, the international competition for argumentation solvers
• The same way of deciding runs through Vaglio, prova and quorum

PolyForm source to be published after the 2027 ICCMA contest

A companion with emotions, opinions and a relationship that grows over time, running entirely on the phone. Conversations never leave the device.

• Android now; iOS under development
• No conversation content is stored on a server

Commercial app 7-day free trial, then a subscription