Alternatives and similar repositories for cs-dm

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

• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆434Updated last year
• wmboyles / Math-Summaries
  Medium length summaries of math subjects like multivariable calculus. Longer than a formula sheet, shorter than a textbook.
  ☆79Updated 2 years ago
• jbachurski / ein
  Embedding Pointful Array Programming in Python
  ☆17Updated 8 months ago
• illinois / queue
  A microservice queue for holding open office hours
  ☆86Updated last month
• huchenlei / acorn-api-js
  API for user actions on Acorn (University of Toronto student system) in TypeScript
  ☆16Updated 2 years ago
• timot3 / uiuc-classes-bot
  Discord bot to fetch UIUC classes.
  ☆18Updated last year
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆388Updated this week
• lollobaldo / Inf2D-cw1--autotester
  ☆23Updated 3 years ago
• ImperialCollegeLondon / formalising-mathematics
  Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…
  ☆307Updated last year
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆77Updated last year
• shafi-dayatar / rmp-api
  RateMyProfessor API for browsers & Node.js servers
  ☆27Updated 8 years ago
• kjmazidi / Machine_Learning_2nd_edition
  Machine Learning with R and Python
  ☆29Updated 2 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆226Updated 3 months ago
• sunny-zuo / sir-goose-bot
  Discord bot that integrates with UWaterloo's LDAP to verify the identity of new Discord members
  ☆40Updated 2 months ago
• wdhg / reggie
  run and encode simple register machine programs
  ☆14Updated 3 years ago
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆50Updated 3 years ago
• kenrick95 / plan
  NTU Course Planner
  ☆24Updated 6 months ago
• edfan / firehose
  A class-picking website for MIT students.
  ☆35Updated 4 months ago
• aaronabraham311 / Notes
  Collection of notes from Waterloo Software Engineering
  ☆49Updated last year
• leanprover / elan
  The Lean version manager
  ☆382Updated last week
• math-comp / math-comp
  Mathematical Components
  ☆627Updated last week
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆522Updated last week
• leanprover / lean3
  Lean Theorem Prover
  ☆2,151Updated last year
• elena-pan / UW-Practice-Problem-Solutions
  ☆25Updated last month
• jbman223 / EarlyAP
  Proxy specifically available for AP scores to enable simple early access to your scores without any storing of your College Board account…
  ☆108Updated 2 years ago
• wizard97 / iSkipper
  Skipping iClicker lectures has never been so easy... obviously not to actually be used in class for nefarious purposes.
  ☆174Updated 3 years ago
• awesome-schedule / plannable
  A website that helps students schedule their classes more efficiently.
  ☆27Updated 2 years ago
• UniMath / UniMath
  This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆984Updated this week
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,432Updated this week
• OliverKillane / Imperial-Computing-Year-2-Notes
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆41Updated 2 years ago