-
Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 46 social mentions
-
Doc Halo provides secure texting and messaging for your healthcare organization that is HIPAA-compliant.
#Governance, Risk And Compliance #Programming Language #Medical Practice Management
-
Google Fit is an open ecosystem that makes it easy to store, access, and manage fitness data.
#Governance, Risk And Compliance #Programming Language #Medical Practice Management 5 social mentions
-
InfluenceHealth provides digital marketing & patient engagement solution to help healthcare organizations identify, engage & manage patients
#Governance, Risk And Compliance #Programming Language #Medical Practice Management
-
Platform to help hospital members communicate better.
#Governance, Risk And Compliance #Programming Language #Medical Practice Management
-
Imprivata is a streamlined secure communications platform for the healthcare industry.
#Governance, Risk And Compliance #Programming Language #Medical Practice Management
-
Scorpion Healthcare provides marketing platform, targeted digital campaigns, and ongoing customer support to master patient attraction.
#Governance, Risk And Compliance #Programming Language #Medical Practice Management
-
Cloud-based document and data exchange technology for healthcare and mortgage banking
#LMS #Data Integration #Programming Language
-
Build powerful reactive, concurrent, and distributed applications in Java and ScalaPricing:
- Open Source
#Data Integration #Monitoring Tools #Stream Processing 21 social mentions
Product categories
Summary
The top products on this list are Coq, Doc Halo, and Google Fit SDK.
All products here are categorized as:
Tools and resources related to specific programming languages.
Software for combining data from different sources into a unified view.
One of the criteria for ordering this list is the number of mentions that products have on reliable external sources.
You can suggest additional sources through the form here.
Recent Programming Language Posts
Best ETL Tools: A Curated List
estuary.dev // 6 months ago
The Ultimate Guide to Choosing the Right Data Transformation Tool for Implementation & Onboarding Teams
dataflowmapper.com // 8 months ago
The Best MuleSoft Alternatives [2024]
exalate.com // over 1 year ago
Top MuleSoft Alternatives for ITSM Leaders in 2025
oneio.cloud // 9 months ago
Top 6 Mulesoft Alternatives & Competitors in 2024
astera.com // about 1 year ago
Data Integration (Dec 25)
saashub.com // 9 months ago
Related categories
🩺 Medical Practice Management
🏛️ Governance, Risk And Compliance
🏢 Business & Commerce
📂 Other Healthcare Tech
🔄 OOP
Recently added products
Dexify
dtach
Pragmatic Works Task Factory
Visible Hands
Nsflow
Skyvia Data Integration
Darkout
TheBooks
Insigna.io
Stylebit Alpha
If you want to make changes on any of the products, you can go to its page and click on the "Suggest Changes" link.
Alternatively, if you are working on one of these products, it's best to verify it and make the changes directly through
the management page. Thanks!