The runtime monitoring tool for smart contracts business logic.
☆20Dec 15, 2024Updated last year
Alternatives and similar repositories for HighGuard
Users that are interested in HighGuard are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SoliDiffy: AST-Based Code Differencing Tool for Solidity Smart Contracts☆21Sep 19, 2025Updated 8 months ago
- Dynamit: Dynamic Vulnerability Detection of Ethereum Smart Contracts Using Machine Learning☆30Nov 6, 2023Updated 2 years ago
- Modbat is a model-based API tester for stateful systems.☆23May 17, 2023Updated 3 years ago
- ☆24May 13, 2024Updated 2 years ago
- Indexing three datasets for GPTScan☆65Jun 11, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆14Aug 18, 2025Updated 9 months ago
- Smart contracts to handle on-chain multi-hash for content validation☆13Jul 19, 2021Updated 4 years ago
- [ICSE'26] FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction☆34Apr 22, 2026Updated last month
- ☆13Jun 27, 2025Updated 11 months ago
- Semi-automated modelling and Model-Based Testing for CosmWasm contracts☆17Jun 28, 2024Updated last year
- 输电塔绝缘子上鸟巢检测（源码＆教程）☆13Dec 6, 2023Updated 2 years ago
- ☆53Jan 26, 2026Updated 4 months ago
- A SCL Unit Testing library☆11Nov 13, 2018Updated 7 years ago
- DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.☆80Mar 25, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 🔥🔥🔥 DSLighting is an LLM-driven autonomous data science execution engine that turns task descriptions and datasets into iterative cod…☆49Apr 13, 2026Updated 2 months ago
- ☆20Jun 9, 2023Updated 3 years ago
- Rust SDK for FISCO-BCOS ,like some rusted but solid gears , help to build blockchain application with FISCO-BCOS☆10Apr 14, 2023Updated 3 years ago
- A Repository of Real, Recent Java Bugs☆23Jan 6, 2026Updated 5 months ago
- ☆13Dec 31, 2025Updated 5 months ago
- StockRegister是基于FISCO BCOS区块链底层平台研发的股权登记系统，该系统提供了合约治理、账户管理、企业管理、股权管理四大类功能。合约治理主要功能包括创建企业信息合约、创建企业股权合约、创建账户、合约的状态及归属者管理等；账户管理主要功能包括内外部账户映射…☆11Aug 8, 2022Updated 3 years ago
- LLM-based and retrieval-augmented Control Code Generation☆24Oct 22, 2024Updated last year
- Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts☆23May 11, 2024Updated 2 years ago
- Efficient APR with LLMs http://arxiv.org/pdf/2402.06598☆16May 28, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Collect and maintain high quality instruction finetune datasets in different domain and languages. 搜集並維護高品質各專業領域及語言的指令微調資料集☆20Apr 6, 2023Updated 3 years ago
- ☆41Oct 14, 2024Updated last year
- eTainter is an automated static taint analysis tool for detecting gas-related vulnerabilities in smart contracts.☆21Jul 24, 2023Updated 2 years ago
- Empc: Effective Path Prioritization for Symbolic Execution with Path Cover☆35May 11, 2025Updated last year
- Demystifying Random Number in Ethereum Smart Contract: Taxonomy, Vulnerability Identification, and Attack Detection (TSE Accepted)☆24Aug 23, 2022Updated 3 years ago
- ☆65Jan 4, 2023Updated 3 years ago
- Language models for Coq based on data collected from the coq lsp.☆31Feb 23, 2026Updated 3 months ago
- A repository for Solidity smart contracts acting as security bug tests for static analysis tools.☆33Oct 14, 2021Updated 4 years ago
- ☆26Apr 9, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Repository for course projects of EI338 Computer System. I appreciate it if you do not BAIPIAO.☆12Dec 22, 2019Updated 6 years ago
- For our ACL25 Paper: Can Language Models Replace Programmers? RepoCod Says ‘Not Yet’ - by Shanchao Liang and Yiran Hu and Nan Jiang and L…☆27Aug 27, 2025Updated 9 months ago
- This is the tool released in the ASE'23 paper "Generative Type Inference for Python".☆28Sep 12, 2023Updated 2 years ago
- Code repository for Liquid Time-stochasticity networks (LTSs)☆23Apr 26, 2023Updated 3 years ago
- ☆41Jan 27, 2024Updated 2 years ago
- LLM-based Test Case Generation for PLC Control Logic☆36Oct 31, 2024Updated last year
- Quill CTF is a game in which you hack Ethereum smart contracts to learn about security. The game is designed to educate players on how t…☆60Aug 23, 2023Updated 2 years ago