@HARPTech
Guthub

HARPTech

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    2
  • Global Org. Rank 265,346 (Top 85 %)
  • Registered over 6 years ago
  • Most used languages
    C++
         50.0 %
    Python
         50.0 %
  • Location πŸ‡¦πŸ‡Ή Austria
  • Country Total Rank 6,029
  • Country Ranking
    C++
         977
    Python
         2,009

Top repositories

1

RTest

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

RVerify

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