Alternatives and similar repositories for lehman-math-cs

Users that are interested in lehman-math-cs are comparing it to the libraries listed below

• matheusgirola / Halmos-Naive-Set-Theory-OCR-LaTeX-Reedition
  Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
  ☆59Updated last week
• SkienaBook / Algorithm-Design-Manual-Programs-V3
  Programs for the third edition of the Algorithm Design Manual
  ☆138Updated 3 years ago
• spamegg1 / Math-for-CS-solutions
  Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
  ☆170Updated last year
• cs3110 / textbook-solutions
  Solutions to OCaml Programming
  ☆88Updated 3 weeks ago
• mikinty / Understanding-Analysis-Abbott-Solutions
  Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)
  ☆118Updated last year
• moocfi / haskell-mooc
  Haskell MOOC University of Helsinki
  ☆392Updated 3 months ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆290Updated 8 months ago
• spamegg1 / Epp-Discrete-Math-5th-solutions
  Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition
  ☆111Updated last week
• cs3110 / textbook
  The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
  ☆863Updated this week
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆243Updated last year
• UlisseMini / understanding-analysis-solutions
  Solutions to Understanding Analysis by Stephen Abbott (second edition)
  ☆75Updated last month
• janestreet / learn-ocaml-workshop
  Exercises and projects for Jane Street's OCaml Workshop
  ☆647Updated 3 years ago
• nculwell / MathStudy
  Info on resources for studying math, stats, CS, etc.
  ☆212Updated 2 years ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆71Updated last year
• abrantesasf / sicp-abrantes-study-guide
  My study guide for SICP
  ☆129Updated 5 years ago
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆122Updated 4 months ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆122Updated 8 months ago
• mk12 / sicp
  Study of the Wizard Book.
  ☆68Updated last month
• iczelia / C-Learning-Resources
  Resources for learning C that are the best in my opinion.
  ☆157Updated 2 years ago
• akinguyen / Coding_the_matrix
  CS50 Brown University
  ☆62Updated 7 years ago
• AndrewMagerman / wizard-book-study
  ☆20Updated 3 years ago
• mikexcohen / LinAlgBook
  Python and MATLAB code for linear algebra textbook.
  ☆186Updated 11 months ago
• zackads / sicp
  My homework, project and exam answers from Brian Harvey's CS61A: Structure and Interpretation of Computer Programs
  ☆53Updated 2 years ago
• psibi / how-to-prove
  My Solution to Velleman's book
  ☆262Updated 8 months ago
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆635Updated 2 years ago
• GaotangLi / Linear_Algebra_Done_Right_4th_ManualSolution
  ☆55Updated 2 months ago
• Eryc123Y / Math-for-Computer-Science
  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 …
  ☆17Updated 9 months ago
• rangaeeeee / books-mir-mathematics
  ☆146Updated 7 years ago
• guttag / Intro-to-Computation-and-Programming
  Introduction to Computation and Programming Using Python
  ☆197Updated 4 years ago
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆80Updated 3 weeks ago