Skip to main content
Adastack LogoAdastack Logo
  • Home
  • DApps
  • Blog
  • Submit
Adastack LogoAdastack Logo

Newsletter

Subscribe for Updates

New features and Cardano ecosystem news.

Adastack LogoAdastack Logo

Cardano ecosystem explorer. Your guide to the latest DApps, tools, and resources on Cardano.

X
Explore
  • Categories
  • DApps
  • Projects
  • Project Links
For Builders
  • Suggest a Project
  • Get Featured
  • Code Libraries
  • REST API
About Adastack
  • About & Contact
  • Privacy
  • Terms
Follow Us
  • X / Twitter
  • GitHub
  • Facebook
  • LinkedIn
Copyright © 2026 All Rights Reserved.
  3. Categories
  5. Development
  7. Development Companies
  9. Galois Inc
Icon for item

Galois Inc

Galois delivers formal verification and security assurance for Cardano and critical systems, using mathematical rigor and creative research.

Visit Website
Image for item
Visit Website

Introduction

Galois is a Portland-based technology company specializing in formal verification and high-assurance systems development. Founded in 1999, the company combines mathematical rigor with innovative research to guarantee trustworthiness in critical systems. Galois has made significant contributions to the Cardano ecosystem through infrastructure development and security auditing services.

Information

  • Website Linkhttps://galois.com/
  • X (Twitter)x.com/galois/
  • YouTubewww.youtube.com/galoisinc
  • LinkedInwww.linkedin.com/company/galois-inc-
  • Blogbuilding-better-systems.simplecast.com/
  • Team on GitHubgithub.com/GaloisInc

Category

  • Development Companies

Related Items

Icon for No Witness Labs

No Witness Labs

Cardano developer tools provider.

Icon for PaskLab Technologies

PaskLab Technologies

Development company specialist.

Icon for Ethernal Tech

Ethernal Tech

Cross-chain development specialist.