ĐArcher - A Testing Framework for Decentralized Applications (DApps)
☆11Jan 24, 2023Updated 3 years ago
Alternatives and similar repositories for darcher
Users that are interested in darcher are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts.☆11Sep 1, 2021Updated 4 years ago
- ☆13May 27, 2019Updated 6 years ago
- IDMoB: IoT Data Marketplace on Blockchain☆12Jun 7, 2018Updated 7 years ago
- Web based Banking Decentralised Application (DApp) built on Ethereum blockchain which focuses on preventing fraudulent attacks such as th…☆11Nov 26, 2019Updated 6 years ago
- Smart contract front-running vulnerability benchmark☆25Dec 11, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The Github Actions - AWS CDK Lambda Monorepo Starter is a comprehensive template designed for efficiently building and deploying multiple…☆12Dec 22, 2023Updated 2 years ago
- Yet another dapp☆11Jan 8, 2018Updated 8 years ago
- Official Go implementation of the Ethereum protocol☆19Jul 24, 2018Updated 7 years ago
- Scape firmware metadata from 18 vendors and download corresponding firmware images. Save in MySQL database for InfoSec research purposes.☆12Feb 17, 2023Updated 3 years ago
- A collection of tools to measure and analyze frontrunning on Ethereum (USENIX 2021).☆34May 13, 2022Updated 3 years ago
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆32Jan 24, 2023Updated 3 years ago
- Chrome Extension for visualizing browsing history☆11Sep 6, 2023Updated 2 years ago
- ☆14Jun 2, 2025Updated 11 months ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆17Apr 28, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆40Jun 25, 2025Updated 10 months ago
- Linux images for crypto & blockchain education and development☆21May 26, 2023Updated 2 years ago
- patch presence test via symbolic signatures, ICSE'24☆12Mar 29, 2024Updated 2 years ago
- Note DApp on Ethereum☆11Dec 3, 2022Updated 3 years ago
- SSH agent library☆20May 26, 2022Updated 3 years ago
- A Texas hold 'em poker game implemented as a Secret Contract for the Secret Network☆23Jun 30, 2022Updated 3 years ago
- A benchmark suite (under construction) for smart contract vulnerability tools☆17Jul 13, 2021Updated 4 years ago
- Replication package for ESEC/FSE-2019 submission titled Diversity Web Test Generation☆15Feb 13, 2025Updated last year
- For our ICSE22 paper "EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries" by Jiannan Wang, Thibaud Lutellier, Shangshu Qia…☆13Aug 16, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Extra badges for App Store, Product Hunt and Hatena bookmarks☆11Sep 21, 2023Updated 2 years ago
- ☆15Jan 24, 2023Updated 3 years ago
- Small and simple actor model implementation.☆10Mar 7, 2026Updated last month
- Zero-knowledge arithmetic circuit implementation for web-based Battleship game☆16Feb 15, 2022Updated 4 years ago
- InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!☆16May 31, 2022Updated 3 years ago
- Merkle Tree for SnarkyJS with Pluggable Storage☆14Mar 18, 2023Updated 3 years ago
- Inspired by Jacob Gadikian old blockchain project aimed at teaching Cosmos. Baby blockchain is intended as a guide for people to learn Co…☆13Mar 27, 2024Updated 2 years ago
- ☆45Aug 14, 2024Updated last year
- JDBL automatically removes unnecessary bytecode from Java applications through dynamic analysis https://dl.acm.org/doi/abs/10.1145/354694…☆17Aug 15, 2023Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds☆60Jun 5, 2022Updated 3 years ago
- An express middleware for access control base on IP addresses for hobby projects.☆17Apr 5, 2023Updated 3 years ago
- Moved to Codeberg, this repo is just a (temporary) mirror -- Toy Parser Generator is a lexical and syntactic parser generator for Python.☆14Oct 18, 2025Updated 6 months ago
- ☆14Apr 6, 2023Updated 3 years ago
- Utilities for constructing a large dataset of LLVM IR☆25Jun 2, 2025Updated 11 months ago
- Generating API Parameter Security Rules with LLM for API Misuse Detection （Accepted by NDSS 2025）☆19Mar 5, 2025Updated last year
- ☆12Mar 22, 2026Updated last month