SoliDiffy: AST-Based Code Differencing Tool for Solidity Smart Contracts
☆21Sep 19, 2025Updated 5 months ago
Alternatives and similar repositories for SoliDiffy
Users that are interested in SoliDiffy are comparing it to the libraries listed below
Sorting:
- The runtime monitoring tool for smart contracts business logic.☆18Dec 15, 2024Updated last year
- MANDO-GURU, a deep graph learning-based tool, aims to accurately detect vulnerabilities in smart contract source code at both coarse-grai…☆30Feb 28, 2023Updated 3 years ago
- 🚀 Elegant form validation solution in React with TypeScript using Decorators 🚀☆19Jun 21, 2023Updated 2 years ago
- DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.☆78Mar 25, 2025Updated 11 months ago
- Python infrastructure to train paths selectors for symbolic execution engines.☆13Updated this week
- EthGlobal Autonomous Worlds Hackathon Project -- permissionless, composable, and autonomous on-chain RPG with playable characters as foun…☆11Jun 5, 2023Updated 2 years ago
- ☆11Feb 16, 2024Updated 2 years ago
- Smart contracts to handle on-chain multi-hash for content validation☆13Jul 19, 2021Updated 4 years ago
- An ERC721 implementation in Cairo 1☆12Apr 25, 2023Updated 2 years ago
- Forkable template to get you started with Starknet Foundry's Forge☆15Nov 15, 2023Updated 2 years ago
- Repository for contracts supporting bridge between Flow <> EVM☆12Feb 19, 2026Updated 2 weeks ago
- the helena Petri net tool repository☆11Sep 8, 2021Updated 4 years ago
- A cross-platform smart account library☆12Updated this week
- Deprecated - use https://github.com/hooperben/noir-hardhat-template-v2☆16Aug 5, 2024Updated last year
- This is a Node.js wrapper around ZoKrates.☆10May 18, 2020Updated 5 years ago
- ☆10Nov 16, 2024Updated last year
- SpecOps is a low-level, domain-specific language and compiler for crafting Ethereum VM bytecode. The project also includes a CLI with cod…☆16Aug 18, 2024Updated last year
- ☆13May 27, 2019Updated 6 years ago
- ☆17Apr 25, 2023Updated 2 years ago
- ☆16Apr 24, 2024Updated last year
- ZK Theorem Proving☆10Aug 11, 2024Updated last year
- sane NFT fractionalization with no fees or middlemen☆14Feb 10, 2024Updated 2 years ago
- LLM for solidity smart contract automated program repair☆18Mar 5, 2025Updated last year
- Solidity implementation of tictactoe with heavy influence from fiveoutofnine.☆10Aug 23, 2023Updated 2 years ago
- Fast and memory-efficient exact attention ported to rocm☆13Dec 1, 2023Updated 2 years ago
- This repository implements a scaled-down LLaMA 2-like model on an ARM Cortex-M3 soft core, with a custom systolic array RTL module for ef…☆11Jun 25, 2025Updated 8 months ago
- ☆15Sep 7, 2022Updated 3 years ago
- [ICLR 2024]: Is Self-Repair a Silver Bullet for Code Generation?☆15May 2, 2024Updated last year
- Analyzer for Uniswap v4 Hooks☆11Mar 4, 2024Updated 2 years ago
- Home of course "Programmable Society" at KTH Royal Institute of Technology☆21Dec 12, 2025Updated 2 months ago
- An automated CLI tool that optimizes gas usage in Solidity smart contracts, focusing on storage and function call efficiency.☆12Jun 24, 2025Updated 8 months ago
- Implementation of The Devil is in the Statistics: Mitigating and Exploiting Statistics Difference for Generalizable Semi-supervised Medic…☆11May 12, 2025Updated 9 months ago
- A zkSync Hardhat project configured with multiple plugins to improve the developer experience☆11Dec 15, 2023Updated 2 years ago
- A Claude Code skill that scans Solidity codebases for security vulnerabilities by referencing 36 unique vulnerability types☆64Feb 9, 2026Updated 3 weeks ago
- A unified smart contract standard data set.☆46Aug 23, 2021Updated 4 years ago
- generate a state machine of smart contracts☆15May 17, 2023Updated 2 years ago
- Read-only mirror of https://hg.openjdk.java.net/jdk-updates/jdk11u/☆11Dec 25, 2024Updated last year
- A DEX with BALLs☆14Aug 13, 2024Updated last year
- Machine Learning in Asset Pricing: Time-Series and Cross-Sectional Forecasting of Excess Equity Returns☆15Sep 21, 2023Updated 2 years ago