A chrestomathy of smart contracts in different smart contract languages
☆33Jul 15, 2026Updated 3 months ago
Alternatives and similar repositories for rosetta-smart-contracts
Users that are interested in rosetta-smart-contracts are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An open benchmark for evaluating smart contracts verification tools.☆17Oct 5, 2025Updated last year
- Web3 Security White Hat Training Program☆10Jul 5, 2025Updated last year
- SolEval is the 1st evaluation framework designed to benchmark Large Language Models (LLMs) for generating Solidity smart contracts at the…☆14Feb 10, 2026Updated 8 months ago
- This web app allows you to sort and view all alko products by different metrics, mainly €/1L Ethanol.☆13Mar 2, 2023Updated 3 years ago
- Evaluation Results for the Paper "EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts"☆13May 28, 2021Updated 5 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.
- scientific dataset of smart contract exploits see paper http://arxiv.org/pdf/2501.04600☆14Oct 26, 2025Updated last year
- Specification, reference implementations and test battery for Hintful diff format.☆14Nov 2, 2022Updated 3 years ago
- We introduce the Phylax Credible Layer, a novel blockchain security mechanism designed to prevent and mitigate hacks in decentralized ap…☆18Mar 10, 2026Updated 7 months ago
- ☆17Jan 23, 2024Updated 2 years ago
- A MAL language that demonstrates the Maven project structure☆23Feb 27, 2026Updated 8 months ago
- Ethereum Protocol Security Review Assistant☆16Jun 29, 2026Updated 4 months ago
- A project to automatically generate program repair recommendation in the field of smart contracts for given code snippets with their cont…☆16Aug 30, 2025Updated last year
- MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts☆16Mar 1, 2022Updated 4 years ago
- Everything related to practica profesional☆13Aug 18, 2021Updated 5 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.
- A unified smart contract standard data set.☆47Aug 23, 2021Updated 5 years ago
- Home of course "Programmable Society" at KTH Royal Institute of Technology☆21Dec 12, 2025Updated 10 months ago
- Minimal Viable Gator 🐊☆18Feb 28, 2025Updated last year
- Efficient APR with LLMs http://arxiv.org/pdf/2402.06598☆16May 28, 2024Updated 2 years ago
- LLM for solidity smart contract automated program repair☆17Mar 5, 2025Updated last year
- A logo-style turtle graphics library for Clojure & ClojureScript (renders to SVG, bitmaps & HTML5 Canvas)☆12Oct 6, 2018Updated 8 years ago
- Boot task for syncing local directory with AWS S3 bucket☆11Nov 14, 2017Updated 8 years ago
- automatically detect software supply chain smells and issues http://arxiv.org/pdf/2410.16049☆20Apr 14, 2026Updated 6 months ago
- This repository introduces our research in source code verifier, including PoC, related issues implementation code and other content.☆24Sep 29, 2023Updated 3 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.
- Use Replumb in Node☆11May 23, 2016Updated 10 years ago
- A clojure/clojurescript whiteboard for interactive drawing in the browser☆12Jan 8, 2021Updated 5 years ago
- Outline of the Agile Artificial Intelligence book☆23Jan 26, 2020Updated 6 years ago
- Clojurescript wrapper & convenience functions for JavaScript typed arrays☆11Apr 23, 2022Updated 4 years ago
- A minimal ClojureScript sample application using Boot☆10Mar 14, 2016Updated 10 years ago
- A modern Rust debugging library 🦀☆10May 15, 2022Updated 4 years ago
- Trace EVM exploit transactions into Foundry fork PoCs.☆23Aug 22, 2026Updated 2 months ago
- Detect if a contract has been deployed in the latest (or predefined) block from an address that was previously funded through Tornado.Cas…☆30Oct 25, 2026Updated last week
- ☆11Jan 21, 2026Updated 9 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.
- prototype for standardizing indentation in clojure files☆12Aug 5, 2024Updated 2 years ago
- Test with bootstrap ClojureScript☆11Jan 28, 2017Updated 9 years ago
- ☆13Jul 27, 2015Updated 11 years ago
- Subset of public audit reports issued by ChainSecurity. For more, please visit:☆29Nov 4, 2023Updated 2 years ago
- A Repo for Blockchain Interview Questions☆23Apr 15, 2023Updated 3 years ago
- Base Monitor - Reward & Farcaster Correlation Scanner☆14Sep 28, 2025Updated last year
- Dynamic Vulnerability Discovery for Smart Contracts☆30Jul 12, 2023Updated 3 years ago