samparsky
Follow
-
foundry Public
Forked from foundry-rs/foundryFoundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
-
-
gambit Public
Forked from Certora/gambitUsing mutations to improve specs and test suites
Rust MIT License UpdatedJan 9, 2024 -
revm Public
Forked from bluealloy/revmEthereum Virtual Machine written in rust that is fast and simple to use
Rust MIT License UpdatedDec 26, 2023 -
compilers Public
Forked from foundry-rs/compilersUtilities for working with native solc and compiling projects.
Rust Apache License 2.0 UpdatedDec 15, 2023 -
gambit-report-viewer Public
Forked from Certora/gambit-report-viewer -
-
-
-
morpho-certora-tutorials Public
Forked from morpho-org/morpho-certora-tutorialsSolidity GNU General Public License v3.0 UpdatedSep 11, 2022 -
-
ssv-network Public
Forked from ssvlabs/ssv-networkTypeScript GNU General Public License v3.0 UpdatedAug 3, 2022 -
-
cross-chain-money-streaming Public
Stream payments to multiple blockchains powered by Superfluid and Connext Network
UpdatedApr 22, 2022 -
gnosis-buyback Public
An implementation of token buyback for gnosis dutchx trading platform
-
ethereum-poa-parity Public
An Ethereum based Proof of Authority (PoA) blockchain using parity.
-
simple-bitcoin Public
Trigger a url / action after a bitcoin transaction has a certain number of confirmations
-
-
-
lido-dao Public
Forked from lidofinance/coreLido DAO smart contracts
JavaScript GNU General Public License v3.0 UpdatedJul 27, 2021 -
evmodin Public
Forked from vorot93/evmodinEthereum Virtual Machine implementation
Rust UpdatedJul 15, 2021 -
adex-validator-stack-js Public
Forked from AmbireTech/adex-validatorAdEx validator stack reference implementation: sentry, validator worker, watcher
JavaScript UpdatedJul 1, 2021 -
parachain-strategies Public
Forked from ComposableFi/parachain-strategiesComposable Finance is introducing a new solution which allows for participation in our parachain with ETH or any ERC-20 token asset, rather than purchasing DOT/KSM and leaving it to sit. With our n…
UpdatedJun 18, 2021 -
adex-validator-stack-rust Public
Forked from AmbireTech/adex-validator-stack-rustAdEx validator stack reference implementation: sentry, validator worker https://www.adex.network
Rust GNU Affero General Public License v3.0 UpdatedMay 14, 2021 -
uFragments Public
Forked from ampleforth/ampleforth-contractsSmart contracts for Ampleforth Protocol (working name uFragments)
TypeScript GNU General Public License v3.0 UpdatedMay 11, 2021 -
openzeppelin-contracts Public
Forked from OpenZeppelin/openzeppelin-contractsOpenZeppelin Contracts is a library for secure smart contract development.
JavaScript MIT License UpdatedMar 15, 2021 -
super777-uniswap Public
Super777 tokens Uniswap integration
-
protocol-monorepo Public
Forked from superfluid-org/protocol-monorepoEthereum contracts implementation for the Superfluid Protocol.
JavaScript Other UpdatedFeb 25, 2021 -
-
default-token-list Public
Forked from Uniswap/default-token-list◦ The Uniswap default token list
JavaScript GNU General Public License v3.0 UpdatedNov 18, 2020