A package for doing Solidity and Python-style C3-linearization in ECMAScript
☆15May 1, 2018Updated 7 years ago
Alternatives and similar repositories for c3-linearization
Users that are interested in c3-linearization are comparing it to the libraries listed below
Sorting:
- ☆11Apr 2, 2021Updated 4 years ago
- Mechanism for purchasing and redeeming fee tickets.☆27Jun 11, 2023Updated 2 years ago
- This repository tests the upgradeable proxy pattern.☆52Jul 30, 2018Updated 7 years ago
- Single API for resolving Solidity artefacts and imports☆32Jan 3, 2023Updated 3 years ago
- 👾 A mutation testing tool for Solidity contracts☆46Aug 16, 2018Updated 7 years ago
- Convergent Dispersal Deduplication Datastore☆10Jan 21, 2016Updated 10 years ago
- VSCode extension for debugging Solidity using Simbolik API server☆48Updated this week
- TypeScript types and a JSON Schema for the Solidity AST☆97Dec 19, 2025Updated 2 months ago
- Compile and deploy Solidity contracts straight from source.☆11Aug 16, 2017Updated 8 years ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- ☆19Oct 8, 2025Updated 4 months ago
- ☆10Mar 29, 2017Updated 8 years ago
- 💁 Counterfactual and Upgradable Self-Sovereign Identity for Ethereum, using Gnosis Safe☆15Sep 5, 2018Updated 7 years ago
- An unofficial Hardhat plugin for working with circuits written in Noir☆12May 22, 2023Updated 2 years ago
- Smart contracts of the Ultimate Synthetic Delta Neutral☆11Jan 26, 2026Updated last month
- POV templates and compilation support for CGC binaries.☆10May 19, 2022Updated 3 years ago
- A Solidity spec suite to test parsers for language compliance.☆11Dec 31, 2017Updated 8 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- Prose for a painting source code☆12Oct 8, 2019Updated 6 years ago
- ☆11Mar 17, 2021Updated 4 years ago
- CVE-2023-40028 affects Ghost, an open source content management system, where versions prior to 5.59.1 allow authenticated users to uploa…☆13Jan 7, 2025Updated last year
- A Type System Attempt for Wolfram Language☆13Feb 28, 2021Updated 5 years ago
- A pooled liquidity contract for participating in the upcoming MKR auction at a "backstop" price of 1 MKR per 100 Dai.☆13Jan 24, 2023Updated 3 years ago
- Translations of standard contracts from Solidity to Vyper.☆12May 30, 2018Updated 7 years ago
- A simple /proc/<pid>/{mem,maps} library for Rust☆11May 28, 2022Updated 3 years ago
- Public audit reports - this repository contains only public audit reports☆15Feb 6, 2024Updated 2 years ago
- Example to build image with secrets☆12Nov 29, 2016Updated 9 years ago
- This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tol…☆18Nov 24, 2017Updated 8 years ago
- Experimental hostapd/wpa_supplicant that allows automatic MACsec channel establishment☆11Sep 5, 2017Updated 8 years ago
- hardhat plugin for governance proposals☆11May 4, 2023Updated 2 years ago
- Algorithmic Music Composition☆11Aug 28, 2018Updated 7 years ago
- Huff support for Hardhat☆19May 30, 2022Updated 3 years ago
- ☆11Sep 24, 2021Updated 4 years ago
- ☆11May 19, 2025Updated 9 months ago
- Recover your wallet simply and securely with 5 locations that you remember☆12Jan 19, 2023Updated 3 years ago
- Weka package for parameter optimization, similar to GridSearch, but with arbitrary number of parameters.☆10Feb 17, 2021Updated 5 years ago
- ☆14Dec 27, 2020Updated 5 years ago
- External Chaincode builder for Hyperledger Fabric on Kubernetes☆13Jan 24, 2025Updated last year
- Minimal configuration component test runner supporting browser testing, phantomjs, and saucelabs.☆97Nov 7, 2019Updated 6 years ago