zhangyedi
Follow
-
-
-
-
NeuroDiff-ASE2020-Artifact Public
Forked from pauls658/NeuroDiff-ASE2020-ArtifactC Apache License 2.0 UpdatedFeb 2, 2022 -
awesome-cryptography Public
Forked from sobolevn/awesome-cryptographyA curated list of cryptography resources and links.
Other UpdatedSep 30, 2021 -
sylvan Public
Forked from trolando/sylvanImplementation of multi-core (binary) decision diagrams
C Apache License 2.0 UpdatedJul 21, 2021 -
fashion-mnist Public
Forked from zalandoresearch/fashion-mnistA MNIST-like fashion product database. Benchmark 👇
Python MIT License UpdatedApr 24, 2021 -
nnv Public
Forked from verivital/nnvNeural Network Verification Software Tool
-
sht-thesis Public
Forked from lirundong/shtthesis派生于 mohuangrui/ucasthesis，适用于上海科技大学学位论文写作的非官方 LaTeX 模板
TeX GNU General Public License v3.0 UpdatedFeb 13, 2020 -
BinaryNet.pytorch Public
Forked from itayhubara/BinaryNet.pytorchBinarized Neural Network (BNN) for pytorch
Python UpdatedDec 5, 2019 -
-
reinforcement-learning-1 Public
Forked from dennybritz/reinforcement-learningImplementation of Reinforcement Learning Algorithms. Python, OpenAI Gym, Tensorflow. Exercises and Solutions to accompany Sutton's Book and David Silver's course.
Jupyter Notebook MIT License UpdatedAug 15, 2019 -
reinforcement-learning-an-introduction Public
Forked from ShangtongZhang/reinforcement-learning-an-introductionPython Implementation of Reinforcement Learning: An Introduction
Python MIT License UpdatedJul 12, 2019 -
-
awesome-symbolic-execution Public
Forked from ksluckow/awesome-symbolic-executionA curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
Creative Commons Zero v1.0 Universal UpdatedJan 14, 2019 -
-
BinaryNet Public
Forked from MatthieuCourbariaux/BinaryNetTraining Deep Neural Networks with Weights and Activations Constrained to +1 or -1
Python BSD 3-Clause "New" or "Revised" License UpdatedNov 28, 2018 -
geek-programming-books Public
Forked from snakeliwei/geek-programming-booksFree programing ebooks
UpdatedOct 3, 2018 -
-
-
-
Study-Floder Public
Forked from singgel/Study-Floder相当不错的图书，例如《数学之美》、《浪潮之巅》、《TCP/IP卷一/卷二/卷三》等
UpdatedApr 28, 2018 -
TFOCS Public
Forked from cvxr/TFOCSA MATLAB toolbox for building first-order solvers for convex models.
MATLAB Other UpdatedApr 17, 2018 -
-
distribution Public
Forked from distribution/distributionThe Docker toolset to pack, ship, store, and deliver content
Go Apache License 2.0 UpdatedDec 25, 2017 -
etcd Public
Forked from etcd-io/etcdDistributed reliable key-value store for the most critical data of a distributed system
Go Apache License 2.0 UpdatedDec 25, 2017 -
zookeeper Public
Forked from apache/zookeeperMirror of Apache Hadoop ZooKeeper
Java Apache License 2.0 UpdatedDec 22, 2017 -
calabash Public
Forked from meijun/calabashA final project of the course "Algorithm Design and Analysis"
Python GNU General Public License v3.0 UpdatedNov 19, 2017 -
guide Public
Forked from dl1al1/guide前言 成为一名专业程序员的道路上，需要坚持练习、学习与积累，技术方面既要有一定的广度，更要有自己的深度。 笔者作为一位tool mad，将工作以来用到的各种优秀资料、神器及框架整理在此，毕竟好记性不如烂键盘，此项目可以作为自己的不时之需。 本人喜欢折腾，记录的东西也比较杂，各方面都会有一些，内容按重要等级排序，大家各取所需。 这里的东西会持续积累下去，欢迎Star，也欢迎发PR给我。 目录 …
UpdatedNov 2, 2017 -
latex-homework-template Public
Forked from jdavis/latex-homework-templateThe LaTeX file that I use as the base for all my homeworks in university.
TeX MIT License UpdatedAug 11, 2017