WebFirst
Web application solutions provider, specializing in the needs of federal agencies, non-profits, and associations.
Tron
Tron is a console application which simulates user intervention for otherwise unscriptable…
Tenet Healthcare
Tenet’s Health Solutions subsidiary provides technology-enabled performance improvement and health management solutions to hospitals.
Skulpt
Skulpt is an entirely in-browser implementation of Python.
RelayHealth
RelayHealth provides the connectivity and solutions that enable constituents across healthcare to exchange information securely.
Pyjs
pyjs is a Rich Internet Application (RIA) Development Platform for both Web and Desktop.
Isabelle
Isabelle is a proof assistant for writing and checking mathematical proofs by computer.
Health Catalyst
Health Catalyst is a tech platform that organizes and links health-related data from different systems and makes it available for all users.
Coq
Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal…
Bracmat
Programming language for symbolic computation with extraordinary combination of pattern matching…