the markdown version of the dodbook
TeX
104
7 commits
updated Jun 26, 2018
by Richard Fabian
6 commits
1 commits
rj180492/data_engineering
https://github.com/DataExpert-io/data-engineer-handbook.git
4
HigherOrderCO/KindBook
61
eric-haibin-lin/verl-community
42
goko897/code
0
henryr/distributed-systems-readings
Readings in distributed systems
411
edwinb/TypeDD-Samples
Sample code from "Type Driven Development with Idris"
162
kvelenis/Embidexing
leanprover/functional_programming_in_lean
A book about functional programming in Lean
47
91.6%
JavaScript
8.2%
