Repositories list

• LfD

  Public
  Learning from Data: Solutions to Exercises

  TeX

  •0•0•0•0•Updated Mar 1, 2017Mar 1, 2017

• ATTAPL

  Public
  Advanced Topics in Types and Programming Languages: Solutions to Exercises

  TeX

  •0•1•0•0•Updated Nov 28, 2016Nov 28, 2016

• Functional-Programming-Reading

  Public
  Classic, interesting, and exciting publications on functional programming for anyone to read.

  0•0•0•0•Updated Aug 22, 2016Aug 22, 2016

• Type-Theory-Readings

  Public
  Both classic and new writings discussing the finer points of type theory.

  0•0•0•0•Updated Aug 22, 2016Aug 22, 2016

• Category-Theory-Readings

  Public
  Collection of canonical references and resources for learning Category Theory.

  HTML

  •0•0•0•0•Updated Aug 22, 2016Aug 22, 2016

• TAOCP

  Public
  Knuth's classic series of volumes, The Art of Computer Programming

  TeX

  •0•0•0•0•Updated Aug 9, 2016Aug 9, 2016

• sicp-jxv

  Public
  Scheme

  •0•0•0•0•Updated May 5, 2014May 5, 2014

• sicp-prasan

  Public
  SICP exercises

  Scheme

  •0•0•0•0•Updated May 4, 2014May 4, 2014

• prasanLACSRG

  Public
  0•0•0•0•Updated Nov 25, 2012Nov 25, 2012