zhangyedi
Currently, I am a Postdoc at National University of Singapore (NUS), working on trustworthy AI.
National University of SingaporeSingapore
Pinned Repositories
awesome-cryptography
A curated list of cryptography resources and links.
awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
BinaryNet
Training Deep Neural Networks with Weights and Activations Constrained to +1 or -1
BinaryNet.pytorch
Binarized Neural Network (BNN) for pytorch
calabash
A final project of the course "Algorithm Design and Analysis"
Convex-Optimization-HW-Project
An implementation of a paper
distribution
The Docker toolset to pack, ship, store, and deliver content
DrTLAPlus
Dr. TLA+ series
nnv
Neural Network Verification Software Tool
software-design-of-DDD-pacemaker
zhangyedi's Repositories
zhangyedi/Convex-Optimization-HW-Project
An implementation of a paper
zhangyedi/software-design-of-DDD-pacemaker
zhangyedi/nnv
Neural Network Verification Software Tool
zhangyedi/awesome-cryptography
A curated list of cryptography resources and links.
zhangyedi/awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
zhangyedi/BinaryNet
Training Deep Neural Networks with Weights and Activations Constrained to +1 or -1
zhangyedi/BinaryNet.pytorch
Binarized Neural Network (BNN) for pytorch
zhangyedi/calabash
A final project of the course "Algorithm Design and Analysis"
zhangyedi/distribution
The Docker toolset to pack, ship, store, and deliver content
zhangyedi/etcd
Distributed reliable key-value store for the most critical data of a distributed system
zhangyedi/fashion-mnist
A MNIST-like fashion product database. Benchmark :point_down:
zhangyedi/gcc
zhangyedi/geek-programming-books
Free programing ebooks
zhangyedi/guide
前言 成为一名专业程序员的道路上，需要坚持练习、学习与积累，技术方面既要有一定的广度，更要有自己的深度。 笔者作为一位tool mad，将工作以来用到的各种优秀资料、神器及框架整理在此，毕竟好记性不如烂键盘，此项目可以作为自己的不时之需。 本人喜欢折腾，记录的东西也比较杂，各方面都会有一些，内容按重要等级排序，大家各取所需。 这里的东西会持续积累下去，欢迎Star，也欢迎发PR给我。 目录 资料篇 技术站点 必看书籍 大牛博客 GitHub篇 工具篇 平台工具 常用工具 第三方服务 爬虫相关(好玩的工具) 安全相关 Web服务器性能/压力测试工具/负载均衡器 大数据处理/数据分析/分布式工具 Web前端 语言篇 Scala Java Python Swift .NET C & C++ 其他 游戏开发相关 日志聚合，分布式日志收集 RTP,实时传输协议与音视频 资料篇 技术站点 在线学习：Coursera、edX、Udacity、MIT公开课、MOOC学院、慕课网 Hacker News：非常棒的针对编程的链接聚合网站 Techmeme：美国知名科技新闻和博客聚集网站，类似的还有（Panda, Hacker & Designer News） Reddit - Programming板块：同上 Java牛人必备：Program Creek Stack Overflow：IT技术问答网站 SegmentFault：中文的技术问答社区 GitHub：全球最大的源代码管理平台，很多知名开源项目都在上面，如Linux内核，OpenStack等 码云：支持中文可免费创建私有项目的代码托管平台，可作为备选 LeetCode：来做做这些题吧，看看自己的算法水平如何？这可比什么面试宝典强多了。 LintCode：支持中文的编程题在线训练平台，可作为备选 Kaggle,Topcoder: 机器学习、大数据竞赛 掘金：高质量的技术社区 开发者头条 InfoQ：企业级应用，关注软件开发领域 V2EX: way to explore 国内老牌技术社区：OSChina、博客园、CSDN、51CTO 免费的it电子书：http://it-ebooks.info/ 在线学习：http://www.udemy.com/ 优质学习资源：http://plus.mojiax.com/ 代码练习：http://exercism.io/ a
zhangyedi/latex-homework-template
The LaTeX file that I use as the base for all my homeworks in university.
zhangyedi/ML-project
zhangyedi/NeuroDiff-ASE2020-Artifact
zhangyedi/py-AIGAR
zhangyedi/python
study note
zhangyedi/Quadapter
zhangyedi/reinforcement-learning-1
Implementation of Reinforcement Learning Algorithms. Python, OpenAI Gym, Tensorflow. Exercises and Solutions to accompany Sutton's Book and David Silver's course.
zhangyedi/reinforcement-learning-an-introduction
Python Implementation of Reinforcement Learning: An Introduction
zhangyedi/sht-thesis
派生于 mohuangrui/ucasthesis，适用于上海科技大学学位论文写作的非官方 LaTeX 模板
zhangyedi/Socrates
zhangyedi/Some-summaries-in-model-checking
zhangyedi/Study-Floder
相当不错的图书，例如《数学之美》、《浪潮之巅》、《TCP/IP卷一/卷二/卷三》等
zhangyedi/sylvan
Implementation of multi-core (binary) decision diagrams
zhangyedi/TFOCS
A MATLAB toolbox for building first-order solvers for convex models.
zhangyedi/zhangyedi.github.io
zhangyedi/zookeeper
Mirror of Apache Hadoop ZooKeeper