Lecture notes on univalent foundations of mathematics with Agda
(한국어) 텍스트 마이닝을 위한 공부거리들
:book:【停】米斯特白帽培训讲义
18.337 - Parallel Computing and Scientific Machine Learning
Notes and cheatsheets from NUS modules taken as part of the Computer Sci...
Lecture notes for Chris Peikert's graduate-level Theory of Cryptography ...
Collection of lectures and lab lectures on machine learning and deep lea...
Summaries / Cheat Sheets created at ETH Zurich BsC Computer Science & Ms...
Tutorial on Symbolic Execution. Hands-on session is based on the angr fr...
CPython Internals 学习笔记
Course Website on Macroeconomic Analysis with Machine Learning and Big Data
Fault-tolerant key-value storage system based on Raft
This repo has been archived. The latest version of the GIS and Spatial A...
A LaTeX document class for lecture notes (for a seminar, for an entire c...
A structured collection of notes (mostly, on machine learning) and a Fla...