-
-
-
-
-
react-demo Public
Forked from blocknative/react-demoReact integration for onboard.js and notify.js
JavaScript UpdatedAug 17, 2021 -
onboard Public
Forked from thirdweb-dev/web3-onboardClient library to onboard users to web3 apps
TypeScript MIT License UpdatedJul 28, 2021 -
pf-af-devfuncs Public
Forked from PlayFab/pf-af-devfuncsAzure Functions related to the PlayFab developer experience
C# UpdatedDec 9, 2020 -
inversify-basic-example Public
Forked from inversify/inversify-basic-exampleA basic example that showcases how to setup InversifyJS
TypeScript MIT License UpdatedMay 25, 2020 -
dapper-contracts Public
Forked from dapperlabs/dapper-contractsSmart Contract for Dapper
JavaScript UpdatedMay 16, 2019 -
nearcore Public
Forked from near/nearcoreOfficial NEAR Protocol client.
Rust GNU General Public License v3.0 UpdatedFeb 26, 2019 -
isabelle Public
Forked from seL4/isabellegit mirror of the Munich isabelle hg repository
Isabelle Other UpdatedDec 24, 2018 -
coq Public
Forked from rocq-prover/rocqCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
OCaml GNU Lesser General Public License v2.1 UpdatedDec 19, 2018 -
-
dsss18 Public
Forked from DeepSpec/dsss18Lecture material for DeepSpec Summer School 2018
HTML Other UpdatedAug 27, 2018 -
trust-keystore Public
Forked from trustwallet/trust-keystoreA general-purpose Ethereum keystore for managing wallets.
Swift GNU General Public License v3.0 UpdatedAug 17, 2018 -
trust-wallet-ios Public
Forked from trustwallet/trust-wallet-ios📱 Trust - Ethereum Wallet and Web3 DApp Browser for iOS
Swift GNU General Public License v3.0 UpdatedAug 13, 2018 -
-
mastodon Public
Forked from mastodon/mastodonYour self-hosted, globally interconnected microblogging community
Ruby GNU Affero General Public License v3.0 UpdatedAug 2, 2018 -
trust-wallet-android-source Public
Forked from trustwallet/trust-wallet-android-sourceTrust - Ethereum Wallet for Android (Inactive Repository)
Java GNU General Public License v3.0 UpdatedJul 31, 2018 -
UniqysKit-preview Public
Forked from uniqys/UniqysKit-previewA preview version of Uniqys Kit - Create your dapp in Uniqys Network
TypeScript Other UpdatedJul 25, 2018 -
eth-isabelle Public
Forked from pirapira/eth-isabelleA Lem formalization of EVM and some Isabelle/HOL proofs
Isabelle Other UpdatedJul 18, 2018 -
-
-
casper Public
Forked from ethereum/casperCasper contract, and related software and tests
Python The Unlicense UpdatedJun 21, 2018 -
-
SATySFi Public
Forked from gfngfn/SATySFiA statically-typed, functional typesetting system
OCaml GNU Lesser General Public License v3.0 UpdatedApr 11, 2018 -
zeppelin-solidity Public
Forked from OpenZeppelin/openzeppelin-contractsOpenZeppelin, a framework to build secure smart contracts on Ethereum
JavaScript MIT License UpdatedFeb 14, 2018 -
leveldb Public
Forked from google/leveldbLevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
C++ BSD 3-Clause "New" or "Revised" License UpdatedFeb 4, 2018 -
bitcoin Public
Forked from bitcoin/bitcoinBitcoin Core integration/staging tree
C++ MIT License UpdatedJan 27, 2018 -
serving Public
Forked from tensorflow/servingA flexible, high-performance serving system for machine learning models
C++ Apache License 2.0 UpdatedJan 25, 2018
{{ message }}