ranQ
ranQ
ranQ
DirectoryIndustriesKnowledgeComparisonsSoon
Sign inCheck visibility
ranQHSG Startup LabelRecognised by the
HSG Startup Label

The first Swiss company directory, built to boost AI visibility.

Product
  • Pricing
  • Directory
  • Industries
Company
  • About
  • Contact
  • Legal
© 2026 cohaga AG · All Rights Reserved · St. Gallen, Switzerland · Imprint742,806 companies indexed · Last updated: today
DirectoryIT & CommunicationSoftware DevelopmentSt. Gallencodelabs GmbH
codelabs GmbH Logo
Verified· 2 sources

codelabs GmbH

Summary

About the company

The core activity of codelabs GmbH is the development and provision of high-security IT systems, particularly in the area of the open-source security kernel Muen Separation Kernel. The activities include: software development for high-security applications, consulting and project management for IT security projects, and development and provision of high-security IT systems based on the Muen Separation Kernel. The core activity can be summarized as 'development and provision of high-security IT systems'.

AI-generated
Offering

Products & services

Industry:Software Development
LeadhubOutbound Leads by COHAGA

Looking for direct email addresses and phone numbers?

Leadhub delivers verified contact details and decision-makers from over 750,000 Swiss companies — management, procurement, marketing, HR.

Discover Leadhub
✓ Offered5
Software development
Software development for high security and availability requirements, especially in Ada, for robust systems, microkernels, and component-based systems.
Consulting
Consulting and project management for IT security projects, including support for implementing high-assurance and high-security systems.
Trusted Key Manager (TKM)
Trusted Key Manager for IKEv2 key management and IPsec, with PKCS#1/RSA, X.509 certificate processing, Diffie-Hellman, AES-CBC-256, and HMAC-SHA512.
ADHCP
DHCP implementation in Ada with client services for DHCPv4 and DHCPv6, as well as relay services for DHCPv4.
ADNS
Stub resolver for the DNS protocol in Ada, with a D-Bus service and a simple command-line tool for hostname resolution.

Knowledge

No knowledge articles yet

Once codelabs GmbH has claimed this profile, we'll publish editorial articles and case studies here together.

Get started
Comparisons

codelabs GmbH in comparison

Soon

Industry comparisons are coming soon

We're preparing industry comparisons that rank codelabs GmbH by reviews, experience and specialisations.

Is this your company?

Claim the company profile of codelabs GmbH to make its contact details visible. With a plan we additionally create and publish industry comparisons, articles and much more.

Secure profile

Location

Vadianstrasse 41
9000 St. Gallen

At a glance

Legal form
Limited Liability Company
UID
CHE-333.416.159
Founded
2018 · 8 years
Last commercial register change
October 15, 2018
Employees
1 to 10

Similar companies

CA
CAOS AG
St. Gallen
AS
ACS Solution AG
Uzwil
AG
AK-SOFT GmbH
Gossau Sg
EI
EGELI Informatik AG
St. Gallen