The runtime monitoring tool for smart contracts business logic.
☆18Dec 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 6 months ago
- Dynamit: Dynamic Vulnerability Detection of Ethereum Smart Contracts Using Machine Learning☆30Nov 6, 2023Updated 2 years ago
- ☆24May 13, 2024Updated last year
- Indexing three datasets for GPTScan☆65Jun 11, 2024Updated last year
- A fork of HumanEval-Java from the paper "Impact of Code Language Models on Automated Program Repair"☆13Dec 11, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 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☆29Mar 31, 2026Updated last week
- ☆13Jun 27, 2025Updated 9 months ago
- Semi-automated modelling and Model-Based Testing for CosmWasm contracts☆17Jun 28, 2024Updated last year
- 输电塔绝缘子上鸟巢检测（源码＆教程）☆13Dec 6, 2023Updated 2 years ago
- ☆46Jan 26, 2026Updated 2 months ago
- Reproducing BugsInPy: Benchmarking Bugs in Python Projects☆14Sep 4, 2023Updated 2 years ago
- DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.☆79Mar 25, 2025Updated last year
- 🔥🔥🔥 DSLighting is an LLM-driven autonomous data science execution engine that turns task descriptions and datasets into iterative cod…☆46Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆20Jun 9, 2023Updated 2 years ago
- A Repository of Real, Recent Java Bugs☆22Jan 6, 2026Updated 3 months ago
- ☆13Dec 31, 2025Updated 3 months ago
- ☆16Feb 28, 2024Updated 2 years ago
- Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts☆22May 11, 2024Updated last year
- Linux Foundation Edge - Nexoedge☆14May 30, 2025Updated 10 months ago
- Efficient APR with LLMs http://arxiv.org/pdf/2402.06598☆16May 28, 2024Updated last year
- Collect and maintain high quality instruction finetune datasets in different domain and languages. 搜集並維護高品質各專業領域及語言的指令微調資料集☆20Apr 6, 2023Updated 3 years ago
- eTainter is an automated static taint analysis tool for detecting gas-related vulnerabilities in smart contracts.☆21Jul 24, 2023Updated 2 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Empc: Effective Path Prioritization for Symbolic Execution with Path Cover☆34May 11, 2025Updated 11 months ago
- Demystifying Random Number in Ethereum Smart Contract: Taxonomy, Vulnerability Identification, and Attack Detection (TSE Accepted)☆24Aug 23, 2022Updated 3 years ago
- ☆64Jan 4, 2023Updated 3 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 7 months ago
- A repository for Solidity smart contracts acting as security bug tests for static analysis tools.☆33Oct 14, 2021Updated 4 years ago
- ☆26Nov 2, 2025Updated 5 months ago
- A benchmarking tool for evaluating AI coding assistants on real-world software engineering tasks from the SWE-Bench dataset.☆63Jan 22, 2026Updated 2 months ago
- [23 fall] CityU CS5489 Machine Learning courseworks, including tutorials, assignments, project and past exam papers.☆38Sep 22, 2025Updated 6 months ago
- [ICML 2025 Poster] Official PyTorch Implementation of "Habitizing Diffusion Planning for Efficient and Effective Decision Making"☆36May 26, 2025Updated 10 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆40Jan 27, 2024Updated 2 years ago
- 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
- ☆64Jul 11, 2024Updated last year
- 基于fisco bcos 区块链的结婚证书系统☆18Oct 9, 2021Updated 4 years ago
- A framework to detect attacks and trace stolen assets across Ethereum (FC 2021).☆32Jul 17, 2025Updated 8 months ago
- RepairLLaMA: Efficient Representations and Fine-Tuned Adapters for Program Repair http://arxiv.org/pdf/2312.15698☆40Sep 5, 2025Updated 7 months ago
- ERC20 in K☆49Apr 25, 2019Updated 6 years ago