lvn / 1151notes
Notes for the 1151 term (Winter 2015).
☆8Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for 1151notes
- Free group automorphisms and train-track representative in python/sage☆9Updated 3 months ago
- ☆30Updated 7 years ago
- Course notes for the University of Waterloo☆28Updated 5 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Updated 9 years ago
- SymPy main development repo☆9Updated last month
- Introduction to SQL Talk: UW Stats Club☆8Updated 8 years ago
- My IJulia notebooks☆33Updated 7 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆14Updated 9 years ago
- Source for Lambda Oinks blog. Made with Hakyll and Bootstrap.☆24Updated 10 years ago
- Seashell is an online environment for editing, running, and submitting C programming assignments.☆38Updated last year
- A website for softies.☆10Updated 2 years ago
- Resources for Standard ML in Sublime Text 2, including syntax highlighting, a build system, and snippets.☆50Updated 7 years ago
- Python API for JobMine☆10Updated 8 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 8 years ago
- Different Implementations of Norvig's spellchecker☆38Updated 9 years ago
- Interface between Julia and Torch (Lua) using ZMQ☆22Updated 9 years ago
- ☆24Updated 7 years ago
- Turning Javascript into a probabilistic programming language☆58Updated 7 years ago
- CourseRoad is a four-year academic planner for undergraduates.☆62Updated 5 years ago
- A topology textbook with a hubristic title☆29Updated 8 years ago
- My CV.☆18Updated 6 years ago
- Code developed in lecture. Starter code if you want to try to do what I did.☆38Updated 9 years ago
- A simple development of linear logic in Coq.☆12Updated 2 years ago
- blog☆18Updated 6 years ago
- Deprecated in favor of MultivariateStats.jl☆27Updated 10 years ago