Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
☆194Sep 2, 2024Updated last year
Alternatives and similar repositories for Math-for-CS-solutions
Users that are interested in Math-for-CS-solutions are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition☆139Updated this week
- Reviewing some online CS courses I took☆356Dec 7, 2025Updated 8 months ago
- Abstract thinking patterns and problem decomposition / solving strategies☆62Jul 14, 2026Updated last month
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- Source code for the website of the Catala language☆17Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Systematic Program Design (all 3 parts)☆12Jun 6, 2020Updated 6 years ago
- This DevOps roadmap on GitHub is designed for beginners and provides both theoretical and technical foundation in a simplified manner. It…☆13Aug 8, 2026Updated last week
- Simple polyphonic synth with reverb☆14Feb 20, 2023Updated 3 years ago
- Distributed algorithms in Lean 4☆17Jul 28, 2026Updated 3 weeks ago
- A math resource for CS student (I have decided to refactor the contents to my personal blog and continue working on this, so the project …☆21Updated this week
- The ADUni course material, and extra info.☆15Sep 17, 2011Updated 14 years ago
- Stock prediction via sentiment analysis of financial news. Winner of VITHack 2020 in FinTech Domain☆10Jul 6, 2021Updated 5 years ago
- A formally verified Raft specification in SPIN, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University☆17May 11, 2021Updated 5 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆28Aug 6, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- My solutions to the projects in The Elements of Computing Systems☆20Apr 18, 2013Updated 13 years ago
- Tail call optimization for Emacs.☆14Jan 21, 2023Updated 3 years ago
- Skewed Emacs: A Handy Setup for Gnu Emacs, Gendl, and AI☆64Updated this week
- A small Lisp implementation in Go☆10Jan 27, 2022Updated 4 years ago
- Query Optimizer Testing Framework for Postgres compatible DBs☆20Apr 29, 2025Updated last year
- Linux daemon to bind touchpad gestures to shell commands.☆11Jun 25, 2024Updated 2 years ago
- Run Wandbox(http://melpon.org/wandbox/) in CLI.☆12Jul 20, 2015Updated 11 years ago
- ☆18Mar 18, 2024Updated 2 years ago
- AutoReVanced is a Python script designed to automate the process of downloading and patching APKs (Android application packages) with ReV…☆11Jun 16, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Django app for embedding Webalizer reports into the admin☆25Oct 20, 2016Updated 9 years ago
- Racket code and annotations for The Little Schemer☆23Jan 25, 2022Updated 4 years ago
- Implement the Paxos Algorithm☆18Nov 16, 2016Updated 9 years ago
- This repository contains a C implementation of matrix multiplication with various optimization techniques.☆14Jun 7, 2025Updated last year
- My Submissions in LeetCode Using Ruby and Python☆10Aug 29, 2019Updated 6 years ago
- ☆74Dec 6, 2024Updated last year
- Plain text bibles of KJV and WEB versions for .md and .org☆18Aug 3, 2022Updated 4 years ago
- Play music from emacs with playerctl☆17Jul 14, 2022Updated 4 years ago
- Custom Keras ML block example for Edge Impulse☆12Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Zero-framework JavaScript todo app with localStorage persistence, static validation, CI, and GitHub Pages deployment.☆11Jun 3, 2026Updated 2 months ago
- Nanum Gothic Coding font☆14Jan 7, 2018Updated 8 years ago
- SIMD accelerated glm alternative for C/C++☆16Jan 3, 2023Updated 3 years ago
- ☆11Dec 16, 2024Updated last year
- cr3 CTF 2024☆15May 6, 2024Updated 2 years ago
- PCG pseudorandom generator implementation for Java☆17Oct 12, 2020Updated 5 years ago
- Manage your scripts and snippets, share them and run programming languages as scripts☆14Updated this week