-
chainlink Public
Forked from smartcontractkit/chainlinknode of the decentralized oracle network, bridging on and off-chain computation
Go Other UpdatedJun 27, 2025 -
PhysLean Public
Forked from HEPLean/PhysLeanA project to digitalise results from physics into Lean.
Lean Apache License 2.0 UpdatedJun 8, 2025 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedJun 8, 2025 -
-
experiment of formalizing constructor theory in lean4
Lean UpdatedJun 2, 2025 -
external-adapters-js Public
Forked from smartcontractkit/external-adapters-jsMonorepo containing JavaScript implementation of external adapters
TypeScript MIT License UpdatedApr 24, 2025 -
-
tokcast_transcripts Public
transcripts for Brett Hall's TokCast https://brettroberthall.podbean.com/
-
AliceVision Public
Forked from alicevision/AliceVisionPhotogrammetric Computer Vision Framework
C++ Other UpdatedNov 8, 2024 -
-
functions-hardhat-starter-kit Public
Forked from smartcontractkit/functions-hardhat-starter-kitJavaScript MIT License UpdatedAug 7, 2024 -
multicall.py Public
Forked from banteg/multicall.pyaggregate results of multiple smart contract calls into one
Python MIT License UpdatedJan 15, 2024 -
table_to_network Public
toolbox to turn tabular data into nodes and edges using parquet and polars so the import into a graphdb is breeze
Python Apache License 2.0 UpdatedSep 20, 2023 -
neuro-py-meditate Public
simple desktop/cli app to do neurofeedback meditation
Python Apache License 2.0 UpdatedAug 20, 2023 -
sc-gnn Public
experiment for predicting smart contract types with GNNs
Apache License 2.0 UpdatedJul 3, 2023 -
mbd-the-world Public
Forked from ZKAI-Network/mbd-the-world"Embed The World" is your social search engine & perosnal AI assistant in the browser.
JavaScript UpdatedMay 21, 2023 -
nbdev_test Public
testing nbdev functionality
Jupyter Notebook Apache License 2.0 UpdatedApr 12, 2023 -
-
GBM_EmailMine Public
Importing Gmail data into Neo4j through Gmail API
Jupyter Notebook MIT License UpdatedDec 8, 2022 -
GraphTalk2019 Public
Resources for my talk on the 2019 Neo4j Summer Conference about Graph Data Modelling
-
multicall Public
Forked from mds1/multicall3Multicall: Aggregate multiple constant function call results into one
Solidity MIT License UpdatedOct 25, 2022 -
linguist Public
Forked from github-linguist/linguistLanguage Savant. If your repository's language is being reported incorrectly, send us a pull request!
-
defillama-sdk Public
Forked from DefiLlama/defillama-sdkSDK for defillama adapters
TypeScript GNU Affero General Public License v3.0 UpdatedOct 18, 2022 -
defillama-server Public
Forked from DefiLlama/defillama-serverServer for defillama
TypeScript UpdatedOct 18, 2022 -
safe-eth-py Public
Forked from safe-global/safe-eth-pyGnosis-py includes a set of libraries to work with Ethereum and Gnosis projects
Python MIT License UpdatedOct 6, 2022 -
mythril Public
Forked from ConsenSysDiligence/mythrilSecurity analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
Python MIT License UpdatedSep 30, 2022 -
contract-scout Public
contract interaction analysis tool on EVM-compatible blockchains
Apache License 2.0 UpdatedSep 6, 2022 -
yolov7 Public
Forked from WongKinYiu/yolov7Implementation of paper - YOLOv7: Trainable bag-of-freebies sets new state-of-the-art for real-time object detectors
Jupyter Notebook GNU General Public License v3.0 UpdatedSep 2, 2022 -
next-hermes Public
sending on chain messages in bulk to addresses in the logs
Vyper Apache License 2.0 UpdatedJul 31, 2022 -
spark-serverless-repo-example Public
Forked from kevenpinto/spark-serverless-repo-examplechecking dataproc out
Python MIT License UpdatedMar 24, 2022
{{ message }}