gosky9 Goto Github PK

adapt

ADAPT is the open source white-box testing framework for deep neural networks

apidoc

basic_nft

bbq-front

bbq-front-web

bitcoin

Bitcoin Core integration/staging tree

blockchain

A basic blockchain implementation written in Go

contracts

This is the repo for PIG Token solidity contract. Website : https://pigtoken.finance/ Telegram : https://t.me/PigTokenBSC Binance Scan : https://bscscan.com/token/0x8850d2c68c632e3b258e612abaa8fada7e6958e5 Twitter : https://twitter.com/Pig_Finance

cryptozombies-lesson-code

cryptozomebie lesson code

cv_imageclassification

Code for ImageClassification based on Pytorch

dapp-learning

Dapp learning project for developers at all stages. Becoming and cultivating sovereign individuals. Nonprofit organization.

deepgini

deepxplore

DeepXplore code release

dlfuzz

DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems

elina

ELINA: ETH LIbrary for Numerical Analysis

eran

ETH Robustness Analyzer for Deep Neural Networks

fuzzingpaper

Recent Fuzzing Paper

neuralverification.jl

Methods to soundly verify deep neural networks

opencv

Open Source Computer Vision Library

reluval

The released code of ReluVal in USENIX Security 2018

robot

ICSE2021 Paper

shadowsocks

backup of https://github.com/shadowsocks/shadowsocks

sherlock

Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.

solidity-learn

tensorflow

An Open Source Machine Learning Framework for Everyone

v2rayng

venus

Venus is a state-of-the-art sound and complete verification toolkit for Relu-based feed-forward neural networks. It can be used to check reachability and local adversarial robustness properties. Venus implements a MILP-based verification method whereby it leverages dependency relations between the ReLU nodes to prune the search tree that needs to be considered during branch-and-bound. It additionally implements methods based on symbolic interval propagation and input domain splitting. Venus is developed at the Verification of Autonomous systems Lab at the Department of Computing, Imperial College London for the purposes of the Assured Autononmy Project.

weread2notion

将微信读书划线同步到Notion