Skip to content
@HARPTech

HARPTech

Pinned Loading

  1. RVerify RVerify Public

    Verify Regulation Kernels using SMT. This repository is a public mirror, pull requests will be merged manually.

    Python 1

  2. RTest RTest Public

    Visualisation tool and testing environment for Regulation Kernels. This repository is a public mirror, Pull-Requests will be merged manually.

    C++ 1

Repositories

Showing 5 of 5 repositories
  • RVerify Public

    Verify Regulation Kernels using SMT. This repository is a public mirror, pull requests will be merged manually.

    HARPTech/RVerify’s past year of commit activity
    Python 1 MIT 0 0 0 Updated Jan 8, 2019
  • RTest Public

    Visualisation tool and testing environment for Regulation Kernels. This repository is a public mirror, Pull-Requests will be merged manually.

    HARPTech/RTest’s past year of commit activity
    C++ 1 MIT 0 0 0 Updated Jan 7, 2019
  • RBase Public

    Base library for the VERNER software stack. This repository is a public mirror, pull requests will be merged manually.

    HARPTech/RBase’s past year of commit activity
    C++ 0 MIT 0 0 0 Updated Jan 7, 2019
  • RCore Public

    Central definition and C-implementation of RComm communication protocol for all components of the VERNER platform.

    HARPTech/RCore’s past year of commit activity
    C 0 0 0 0 Updated Jan 7, 2019
  • klib Public Forked from attractivechaos/klib

    A standalone and lightweight C library

    HARPTech/klib’s past year of commit activity
    C 0 643 0 0 Updated Aug 31, 2018

Top languages

Loading…

Most used topics

Loading…