acganesh / compendium
Stanford course notes in math / CS
☆16Updated 5 years ago
Alternatives and similar repositories for compendium:
Users that are interested in compendium are comparing it to the libraries listed below
- Supplementary code for Introduction to Theoretical Computer Science book.☆64Updated last year
- A curated list of resources to help with computational research.☆20Updated 2 years ago
- CS61 section material☆25Updated 5 months ago
- Numerical Linear Algebra Notes CME 302 Stanford☆13Updated 3 months ago
- Code for our ICLR Trustworthy ML 2020 workshop paper "Improved Image Wasserstein Attacks and Defenses"☆14Updated 4 years ago
- "Education is not an end to itself. You need to know algebra but also how to navigate the world." ― Sal Khan☆12Updated 5 years ago
- A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees☆20Updated 4 years ago
- ☆125Updated 7 years ago
- A survival guide for CS PhD students at Stanford☆46Updated 7 years ago
- Tensors and Dynamic neural networks in Python with strong GPU acceleration☆21Updated last year
- A probabilistic programming language, based on Church☆17Updated 7 years ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆10Updated 3 years ago
- Property Inference from Deep Neural Networks☆20Updated last year
- Complementary material to EAAAI18 Paper "Mighty Thymio for Higher-Level Robotics Education"☆19Updated last year
- A distributed systems framework used running distributable workloads.☆18Updated 6 months ago
- A collection of some expository notes I have written☆19Updated 3 years ago
- The AGI Concept Map is my attempt at reconstructing all the internal knowledge I've acquired about artificial general intelligence over t…☆14Updated 5 years ago
- Python library for argument and configuration management☆54Updated 2 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆60Updated last year
- General Purpose C++ Implementation for Inference and Learning in Bayesian and Markov Networks☆16Updated 6 years ago
- Local-first cli todo list manager written in Rust☆16Updated 2 months ago
- ☆137Updated last week
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- "An equation for me has no meaning, unless it expresses a thought of God."― Srinivasa Ramanujan☆77Updated 4 years ago
- An attempt to reimplement the 2013 paper by Wissner-Gross & Freer☆10Updated 3 months ago
- ☆17Updated 4 years ago
- The implementation of "The Kanerva Machine" with Pytorch and Pyro☆12Updated 6 years ago
- ☆12Updated 4 years ago
- Adam Oberman McGill Professor page☆8Updated last month
- Universal Python binding for the LMDB 'Lightning' Database☆13Updated 7 years ago