Skip to content

@HARPTech HARPTech

Change the repository type filter

All

    Repositories list

    5 repositories

    • RVerify

      Public
      Verify Regulation Kernels using SMT. This repository is a public mirror, pull requests will be merged manually.
      pythonparserpython3z3smtformal-verificationz3-smt-solver
      Python
      •
      MIT License
      •0•1•0•0•Updated Jan 8, 2019Jan 8, 2019

    • RTest

      Public
      Visualisation tool and testing environment for Regulation Kernels. This repository is a public mirror, Pull-Requests will be merged manually.
      debianubunturoverpython3qt5testing-toolsqtquick
      C++
      •
      MIT License
      •0•1•0•0•Updated Jan 7, 2019Jan 7, 2019

    • RBase

      Public
      Base library for the VERNER software stack. This repository is a public mirror, pull requests will be merged manually.
      C++
      •
      MIT License
      •0•0•0•0•Updated Jan 7, 2019Jan 7, 2019

    • RCore

      Public
      Central definition and C-implementation of RComm communication protocol for all components of the VERNER platform.
      C
      •0•0•0•0•Updated Jan 7, 2019Jan 7, 2019

    • klib

      Public
      A standalone and lightweight C library
      C
      •557•0•0•0•Updated Aug 31, 2018Aug 31, 2018