Stars
13
stars
written in TeX
Clear filter
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Statistical Learning Theory (CS229T) Lecture Notes
An introduction to lambda calculus in Chinese, including an interpreter in Haskell.
Raft.js is an implementation of the Raft consensus algorithm in JavaScript and using WebRTC.
Source materials for [d0x3d!], a network security game.
OCaml Documentations as one-pagers, easy to keep useful commands in mind