lvn / 1151notes
Notes for the 1151 term (Winter 2015).
☆8Updated 8 years ago
Alternatives and similar repositories for 1151notes:
Users that are interested in 1151notes are comparing it to the libraries listed below
- Free group automorphisms and train-track representative in python/sage☆10Updated 6 months ago
- Website for DS-GA 1003: Machine Learning and Computational Statistics☆15Updated 7 years ago
- Notes from various courses at the University of Waterloo.☆83Updated 5 years ago
- some lecture notes from the University of Waterloo.☆87Updated 9 years ago
- ☆30Updated 7 years ago
- Seashell is an online environment for editing, running, and submitting C programming assignments.☆38Updated 2 years ago
- LaTeX class for writing work reports for the University of Waterloo.☆75Updated 9 years ago
- Introduction to SQL Talk: UW Stats Club☆8Updated 8 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆14Updated 10 years ago
- Resources for Standard ML in Sublime Text 2, including syntax highlighting, a build system, and snippets.☆49Updated 7 years ago
- My old Haskell presentation, still some good bits.☆9Updated 9 years ago
- Interactive notebooks for trying analyses and exploring datasets☆32Updated 9 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Updated 10 years ago
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- Simple tweepy bot for automated Twitter interactivity.☆18Updated 9 years ago
- SymPy Presentation☆37Updated 8 years ago
- LaTeX One page maintainable (US) resume☆14Updated 5 years ago
- Course notes for the University of Waterloo☆28Updated 6 years ago
- Fine-grained lattice primitives for Haskell☆18Updated 6 years ago
- Static blog generater, server and writer. Write markdown with latex in desktop/mobile browsers.☆54Updated 10 years ago
- twitter clone in haskell☆12Updated 8 years ago
- Quickly download past CS exams with solutions!☆22Updated 8 years ago
- Collective dump of resources.☆159Updated 8 years ago
- Solutions to "Introduction to Algorithms" by Cormen, Leiserson, Rivest, Stein (CLRS)☆44Updated 12 years ago
- Repo for 2017 is here -->☆81Updated 5 years ago
- Mathematical stories☆13Updated 4 years ago
- 📑A PD2 report template with formatting necessary for students in the course☆19Updated 6 years ago
- My personal website☆14Updated 9 years ago
- World's dumbest fuzzer☆52Updated last year
- Code developed in lecture. Starter code if you want to try to do what I did.☆38Updated 9 years ago