HARPTech

Linz, Austria

Pinned Repositories

klib
A standalone and lightweight C library
Language:C0 1 00
RBase
Base library for the VERNER software stack. This repository is a public mirror, pull requests will be merged manually.
Language:C++0 2 00
RCore
Central definition and C-implementation of RComm communication protocol for all components of the VERNER platform.
Language:C0 1 00
RTest
Visualisation tool and testing environment for Regulation Kernels. This repository is a public mirror, Pull-Requests will be merged manually.
Language:C++1 2 00
RVerify
Verify Regulation Kernels using SMT. This repository is a public mirror, pull requests will be merged manually.
Language:Python1 2 00

HARPTech/RTest
Visualisation tool and testing environment for Regulation Kernels. This repository is a public mirror, Pull-Requests will be merged manually.
Language:C++1 2 00
HARPTech/RVerify
Verify Regulation Kernels using SMT. This repository is a public mirror, pull requests will be merged manually.
Language:Python1 2 00
HARPTech/klib
A standalone and lightweight C library
Language:C0 1 00
HARPTech/RBase
Base library for the VERNER software stack. This repository is a public mirror, pull requests will be merged manually.
Language:C++0 2 00
HARPTech/RCore
Central definition and C-implementation of RComm communication protocol for all components of the VERNER platform.
Language:C0 1 00