Resources for Mathematics for Computer Science by Lehman, Leighton and Meyer and its corresponding course on MIT Open Library.
☆54Sep 16, 2022Updated 3 years ago
Alternatives and similar repositories for lehman-math-cs
Users that are interested in lehman-math-cs 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 for the 8th edition of Discrete Mathematics and Its Applications by Kenneth H. Rosen.☆28Oct 2, 2022Updated 3 years ago
- ☆17Apr 30, 2024Updated 2 years ago
- Academic Resources for the Courses at IIITD - Monsoon 2021 onwards☆10Sep 23, 2023Updated 2 years ago
- ☆11Feb 11, 2020Updated 6 years ago
- IIT kanpur ML course☆20May 21, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆14Mar 21, 2025Updated last year
- Universal Online Judge (UOJ) 样题☆11Sep 23, 2022Updated 3 years ago
- MI and Formal Verification of NNs on Algorithmic tasks!☆18Mar 18, 2024Updated 2 years ago
- ☆18May 8, 2025Updated last year
- The Regularization Cookbook, published by Packt☆16Mar 2, 2026Updated 5 months ago
- Common Lisp SPARQL query generation library☆13Aug 3, 2019Updated 7 years ago
- Common lisp bindings to CUDD.☆13Jan 3, 2018Updated 8 years ago
- ☆12Dec 10, 2022Updated 3 years ago
- Flexible and transparent Python Boruta implementation☆17Jun 8, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- IITK CSE 5th semester course materials, lecture notes, assignments, and resources for CS-330, CS-340, CS-345, CS-771, and ESO-201☆11Aug 20, 2025Updated last year
- Assignments/MIDSEM/ENDSEM question papers of courses at IITK.☆15May 7, 2024Updated 2 years ago
- My solutions for the programming contest website Kattis : open.kattis.com : If you have any questions about the reasoning behind a proble…☆10May 6, 2024Updated 2 years ago
- Comprehensive notes & question banks for 1st-yr subjects during 2020-21.☆16Jun 10, 2023Updated 3 years ago
- A curated list of awesome LeetCode discussions and articles!☆13Oct 21, 2020Updated 5 years ago
- ☆25Oct 6, 2025Updated 10 months ago
- An automatic differentiation system for dense and sparse problems☆13Jan 16, 2025Updated last year
- Linear Algebra lecture notes based on 3Blue1Brown's Essence of Linear Algebra | English & Persian PDFs | یادداشتهای جبر خطی☆27Jan 8, 2026Updated 7 months ago
- Allegro Maild, an SMTP server written in Common Lisp☆17Nov 7, 2015Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Data Science and Machine Learning☆18Mar 29, 2024Updated 2 years ago
- CSDLO6021: Machine Learning [ML] | TE Semester VI | Computer Engineering☆15Updated this week
- Option, Try, Either, and some more common basic DataTypes☆13Jul 1, 2023Updated 3 years ago
- Undergraduate Work.☆18Aug 24, 2026Updated last week
- [ACL 2025 Findings] Text2World: Benchmarking Large Language Models for Symbolic World Model Generation☆29Feb 25, 2025Updated last year
- Past Papers, Notes & Other Materials related to Glasgow University Computer Science☆17Jul 28, 2026Updated last month
- this repo contains study material for CSE and related branches for all semesters☆14May 26, 2023Updated 3 years ago
- fanuc mtconnect adapter☆12Jan 22, 2016Updated 10 years ago
- List of awesome university courses for learning Computer Science!☆15Oct 1, 2018Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A curated collection of free Programming, AI, and Data Science books — organized by categories for easy learning and reference.☆20Aug 10, 2026Updated 3 weeks ago
- Unbreakable links.☆22Jun 17, 2026Updated 2 months ago
- Plancraft is a minecraft environment and agent suite to test planning capabilities in LLMs☆31Nov 7, 2025Updated 9 months ago
- The most recent documentation of OpenReview☆34Updated this week
- R package for calculating Gittins indices☆18Oct 2, 2023Updated 2 years ago
- An implementation of Self-Calibrating Conformal Prediction, accepted to Neurips 2024. SC-CP combines Venn-Abers calibration and conformal…☆14Apr 16, 2026Updated 4 months ago
- This is the core functions needed by the `tsmp` package. The low level and carefully checked mathematical functions are here. These are i…☆12Jun 10, 2026Updated 2 months ago