mojtaba-eshghie/HighGuard — 20 Stars | GitRepoTrend

mojtaba-eshghie

HighGuard

Jupyter Notebook

The runtime monitoring tool for smart contracts business logic.

Last updated May 2, 2026

20

Stars

3

Forks

10

Issues

0

Stars/day

Attention Score

8

View on GitHub ↗ Open in github.dev

Topics

#blockchain #dcr-graphs #dynamic-condition-response #high-level-properties #invariants #monitoring #runtime-monitoring #runtime-verification #smart-contract-invariants #smart-contracts #smart-contracts-audit #smart-contracts-security

Language breakdown

Jupyter Notebook 46.9%

Solidity 28.3%

JavaScript 24.6%

Python 0.1%

HTML 0.0%

Shell 0.0%

▸ Files click to expand

README

No README available.

🔗 More in this category