书单，网站，软件，APP，Repo，Package
书单
Structure and Interpretation of Computer Programs
Methods of information geometry
All the Mathematics You Missed But Need to Know for Graduate School
Algebra, Topology, Differential Calculus, and Optimization Theory For Computer Science and Machine Learning
概率和鞅
数值分析原理
THE RISING SEA Foundations of Algebraic Geometry
CATEGORIES TYPES AND STRUCTURES An Introduction to Category Theory for the working computer scientist
Seven Sketches in Compositionality: An Invitation to Applied Category Theory
the hacker guide to python
Get Programming with Haskell
Programming in Lua
Java编程思想
Prolog教程 巫正中
x86汇编语言-从实模式到保护模式
The C Programming Language
Linux内核完全注释
Functional C
The complete guide to improvisation Ed Saindon
完全音乐理论教程（The Complete Musician） Steven G. Laitz
The Beato Book：a creative approach to improvisation for guitar and other instruments
爵士理论 Mark Levine
色彩和声
吉他指板超解密手册
伯克利现代吉他教程
Picture Chord Encyclopedia 图解和弦百科全书
图解HTTP
Thinking in UML
计算机程序的构造和解释（SICP）
自己动手写操作系统
Linux内核完全注释
算法图解
算法引论：一种创造性方法
GPU高性能编程 CUDA实战
人月神话
NASA C Style Guide
Tensorflow深度学习 龙龙老师
Deep learning with pytorch Essential Excerpts
动手学深度学习（Pytorch版）
动手学深度学习（Mxnet版）
机器学习：从公理到算法
Automated Machine Learning
机器学习 Tom M.mitchell
模式识别与机器学习(PRML)
模式分类 Richard O.Duda
基于深度学习的自然语言处理
understanding machine learning
刻意练习
单核工作法图解
认知天性
非暴力沟通
Sperm Wars
Dragon Lance
Brave New World
经济学原理
The Man Who Solved the Market
通向实在之路
第一推动丛书·综合系列：复杂
简明法语教程 孙辉
English Exposed Common Mistakes Made by Chinese Speakers
Principles and Practice in Second Language Acquisition
网站
kerodon homotopy-coherent mathematics
approach0 latex搜答案
metacademy 计算机科学知识的包管理器
jazzomat 爵士音乐研究数据库
chordify 和弦进行分享网站
isophonics 音乐相关研究和开源软件
chord hunter 和声进行数据库
hooktheory 和声进行数据库，乐理百科
HDLBits 在线刷verilog题
metamath 从ZFC证明所有数学定理，定理证明机
SOS 数学公式定理速查
13dl 日语小说漫画下载
unpaywall 免费文献下载
group names 有限群字典
allitebooks 计算机电子书下载
cs unplugged 计算机科学幼教，实验，游戏
eqworld 各种方程pde解法
TLDP Linux文档项目
ebookids 法语初学儿童电子书
tables generator 生成latex表格，绘制表格
nand2tetris 编写CPU，计算机系统
mit os MIT的操作系统工程课程
osdev.org 操作系统百科
opusmodus clozure common lisp作曲软件
安全师 安全论坛网站，学习资源
masm32 完整的masm32开发环境和IDE
bananaspace 在线latex转网页，分享数学文档
seedlab 信息安全实验网站
vitu 在线白嫖深度学习硬件，在线训练python环境
chaos math 混沌相关的数学
etymology online 在线词源词典
luogu 洛谷网校OI, OJ
investopedia 投资量化金融百科
lib.rs rust
crates.io rust
docs.rs rust
std rust rust
小游戏 antimatter dimension, incremental adventures
ordinal 超限序数
评测鸭 OJ
mathcha 在线latex编辑器，可见即所得，支持tikz画图
thrust CUDA的API模板库
optimize 运筹优化社区
umletino 在线画UML类图
sololearn.com 学习编程语言
About KEEP - KEEP 各大网站和大学网课(MOOC)的汇总
Exercism OJ，有导师
OpenJudge OJ
猿圈-专业的人才甄选系统、在线考试、程序员笔试、线上面试、专业题库 OJ
CodeChef | Programming Competition,Programming Contest,Online Computer Programming OJ
Programming Practice and Contest Platform OJ
Codewars: Train your coding skills OJ
The #1 Coding Assessment Platform OJ
Codeforces OJ
首页 - Vijos OJ
首页 - SYZOJ OJ
draw.io 画UML图
quizlet.com 背单词
trello.com Scrum合作
websequencediagrams 在线画时序图
wikihow 生活常识
msdmanuals 在线诊疗手册
Desmos | Beautiful, Free Math 画数学相关的图，函数图，图表
Search Publications database 数学文献搜索
mathigon.org 交互数学书
Mathics 开源MMA
sites.google.com/site/touhoucollegeclasses 伊卡酱的数学书
Search Publications database 数学文献搜索
Encyclopedia of Mathematics 百科全书搜索
The Web's Most Extensive Mathematics Resource Wolfram数学搜索
PlanetMath.org 数学百科
Number Empire - Math Tools 数学在线工具
nLab 范畴论维基
The Stacks project 代数几何百科
ProofWiki 数学证明概要搜索
Algebra Homework Help, Algebra Solvers, Free Math Tutors 在线solver
Hundreds of math puzzles and answers 数学问题检索
Certified Programming with Dependent Types 基于Coq的开源书
Pointfree.io 把Haskell代码转成pointfree的工具
The Coq Proof Assistant Coq官方网站
GENO 在线生成优化求解器
欢迎来到哆嗒数学网，一个妙趣的数学世界 数学论坛
https://openlogicproject.org/ 数理逻辑学习项目
ruanyifeng.com 阮一峰个人网站，函数式编程
The Js Coq Theorem Prover Online IDE! 在线使用Coq
playground.tensorflow.org 在线可视化神经网络玩具
arxiv-sanity Arxiv论文筛选网站
magazinelib 杂志搜索
Wikibooks 搜书
itebookshare IT书
iamtxt 搜书
libgen 搜书
Electronic library. Download books free. Finding books 搜书
books-share 搜书
interpretable-ml-book 可解释机器学习开源书
Electronic library. Download books free. Finding books 搜书
xuduoshu 收藏分享书
archive.org 书，电影，音乐，软件
书舟网 电子书
ebooksgratuits 法语书
1000常用词 各语言1000核心词汇
pdfdrive 搜书（很干净）
freecomputerbooks
wowebook.pw 技术书
freetechbooks 免费技术书
getfreeebooks
50,000+ Free eBooks in the Genres you Love
Download free Fiction, Health, Romance and many more books
IT eBooks - Free Download - New Releases
resume.github.com 生成简历
Ambient Generative Music by Alex Bainter 在线生成音乐
melody.ml 在线分离音乐音轨
Open Music Theory – Open Music Theory 开源乐理书
http://archive.ics.uci.edu/ml/datasets.php 玩具数据集
Welcome to the UCR Time Series Classification/Clustering Page 时间序列数据集
KDnuggets 机器学习新闻，数据集，学习资源
DBpedia 维基知识图谱检索
Amazing Handwriting Worksheet Maker 英语书法字帖
Coggle - Simple Collaborative Mind Maps 在线思维导图
Cmd Markdown 编辑阅读器 - 作业部落出品 在线md编辑器(cmd markdown)
PortableApps.com - Portable software for USB, portable, and cloud drives windows常用免费绿色软件汇总
vim tips and tricks VIM使用技巧
Network Science by Albert-László Barabási 在线书《网络科学》
coq100 100 个Coq著名定理形式化
软件
gridstudio 图表处理
Mendeley 文献管理
SmoothDraw 画图
Motrix 下载
GoldenDict 翻译
mathpix 图片转公式
法语助手
typora MarkDown编辑器
notepad++ 编辑器
unifont 字体
dosbox 学习汇编
ielm Elisp的repl
ghci Haskell的repl
KNIME 数据分析软件
Gaaiho Reader PDF阅读器
SumatraPdf PDF/epub/mobi...阅读器
PDFXEdit PDF编辑器
djvutoy DjVu格式文件编辑黑怕q
dupeGuru 删除多余重复文件
zulip 开源聊天
rocket.chat 开源聊天
VLC 视频播放
graphviz 网络图可视化
GrafEq 数学图形绘制
chocolatey Windows下的包管理器
ChordPulse 和声进行
anthemscore 扒谱
musescore 乐谱
APP
Coursera, 牛客, Stack Exchange, Quizlet, 欧路词典 Eudic, AnkiDroid, Translate 谷歌翻译, Fre-Eng Dictionary, Reverso Context, France tv, Medium, Quora, myCanal, Beginner French, La Matinale, Tandem, Tinder, Mon coach Bescherelle, Le Monde, iReal Pro, MyEarTraining, Perfect Ear Pro, Chord!, 和弦音乐制作
Repo
satwikkansal/wtfpython 奇怪的python特性
3b1b/manim 3blue1brown的数学教学视频工具
microsoft/vcpkg visual C包管理器
pbatard/rufus 开源U盘格式化工具
supercollider/supercollider MIDI作曲编程工具
julienblitte/qwerty-fr 与英语键盘兼容的法语键盘
fontforge/fontforge 字体编辑器
deezer/spleeter 音轨分离器
kornia/kornia 可微计算机视觉库pytorch
lutianming/cartoonizer 照片转动画
WarpPrism/AutoPiano 在线钢琴
HarisIqbal88/PlotNeuralNet 绘制神经网络
alexlenail/NN-SVG 在线绘制神经网络结构
opf/openproject 在线项目管理协作工具
aliasaria/scrumblr Scrum Board
lukesampson/scoop 在windows上安装linux软件
koka-lang/madoko 用markdown写paper
ntoll/foox 用遗传算法生成分类对位
TheAlgorithms/Python 用python实现各种算法
mlpack/ensmallen 数值优化C++库
manuels/texlive.js 在线编译latex
zziz/pwc paper with code
dpilger26/NumCpp C++上的numpy
vt-vl-lab/paper-gestalt 给论文打分
knazeri/edge-connect 图片补全
rjpcomputing/luaforwindows lua windows环境打包
ListenerMusicPlayer 开源音乐播放器
dtschump/CImg 图像处理C++库
maxpumperla/hyperas 超参数搜索库
xtensor-stack/xtensor 广播，惰性求值张量计算C++库
digital_video_introduction 视频编码学习
crossoverJie/JCSprout Java学习
NorthwoodsSoftware/GoJS 绘制UML图
mermaid 用markdown绘制UML图
hakimel/reveal.js latex在线ppt
tensorflow/tfjs js版的tensorflow
Kyubyong/tacotron TTS模型
Atvaark/BinderTool 黑暗之魂解包工具
duguying/parsing-techniques 开源书《解析技术》
memoiry/LightML.jl Julia实现机器学习算法
free-programming-books 中文计算机开源书
yishn/tikzcd-editor 在线绘制交换图表
wavedrom/wavedrom 绘制数字时序图
aimacode/aima-python Artificial Intelligence - A Modern Approach代码
pfnet/PaintsChainer 动画线稿自动上色
baidu-netdisk-downloaderx 百度网盘下载器
zohooo/jaxedit 在线latex编辑器
front-end-interview 前端面试教程
tensorflow/lucid 可解释机器学习工具
leafo/gifine 录屏GIF
taizilongxu/interview_python python面试
OpenGenus/cosmos 算法检索，算法百科，算法词典
libvips/libvips 图像处理C++库
lllyasviel/style2paints 线稿上色，风格迁移
vgvassilev/cling C++交互式解释器REPL
mayswind/AriaNg 离线下载
avast/retdec 反编译工具
serge-sans-paille/pythran python到C++的翻译器
daveagp/java_visualize 可视化Java代码
fiji/fiji 图像处理软件
Kitware/VTK 图像处理渲染软件
d3/d3 数据可视化
DeathKing/hit-oslab 操作系统实验
google/yapf python代码格式化
tensorflow/magenta 谷歌艺术人工智能
google/grumpy python2go翻译器
ProofGeneral/PG Emacs的定理证明器IDE
TrueFurby/go-callvis Go语言调用链可视化
google/sling 自然语言parser
algorithm-visualizer 算法可视化
cocos2d/cocos2d-x 游戏开发框架
ossu/computer-science 计算机自学
free-programming-books 免费计算机书
rossant/awesome-math 数学资源
papers-we-love 著名计算机论文
thrust/thrust C++并行编程库
electronicarts/EASTL EA开发的STL
victorlei/smop Matlab2python
python-ml-book python机器学习书
typecho/typecho PHP博客
tonymorris/fp-course 函数式语言学习
hoanhan101/ultimate-go Go语言教程
transferlearning-tutorial 迁移学习简明手册
sagemath/sage 开源数学软件Sage math
amoeba Lua/C语言的single header约束规划求解器
retroarch 低延迟，电玩，老游戏机模拟器
sonic pi 编程编曲DAW
tikzedt 画tikz图，导出为latex
detexify 画图识别latex符号
compiler explorer 在线编译代码，查看汇编
rr 语法图生成器（Railroad Diagram Generator）
group explorer 有限群浏览器，可视化群论
penrose 数学示意图绘制
netron 神经网络结构绘制
nnls-chroma 自动识别和声进行
Package
rlcard/Python 打牌强化学习Agent
interpret/Python 微软开发的机器学习可解释库
cupy-cuda100/Python cuda版的numpy
pulp/Python 线性规划
latex2mathml/Python 将latex转成ppt可粘贴的公式
nvidia-dali/Python Nvidia官方的图片解码流水线
pysnooper/Python Debug工具
gensim/Python NLP库
jax/Python 机器学习库
dowhy/Python 因果推断库
flashtext/Python 比正则表达式高效的库
gurobi/Python 优化库，支持非正定二次型优化
cvxpy/Python 凸优化库
sparse/Python 稀疏矩阵
ortools/python 约束规划，整数线性规划求解器
python-constraint/python 约束规划求解器
vispy/Python 科学可视化
vpython/Python 三维动画
jrnl/Python 加密日记本
tqdm/Python 进度条
bypy/Python 百度网盘下载器
moviepy/Python 视频剪辑
mingus/Python 音乐midi
PyPDF2/Python 处理pdf
xdot/Python 交互式画图（图论）
objgraph/Python 绘制对象引用图
galgebra/Python 几何代数符号计算库
luafun/Lua Lua函数式编程库
std.functional/Lua Lua函数式编程
vector, semigroups, random, comonad, bifunctors, split, exceptions/Haskell
transformers/Haskell
ghcup/Haskell 用来安装Haskell环境
cuda/Haskell 用Haskell调用cuda进行并行计算
免费软件
HyperCam 2 录屏软件
评论已关闭