Alternatives and similar repositories for compendium

Users that are interested in compendium are comparing it to the libraries listed below

• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆66Updated last year
• amitrajaraman / notes
  Notes galore
  ☆10Updated 10 months ago
• mariainesdff / ai_math_tcs
  An introduction to theorem proving in Lean for the impatient.
  ☆18Updated 3 months ago
• JoelNiklaus / loss_landscape
  Code for visualizing the loss landscape of neural nets
  ☆10Updated 4 years ago
• GoodbyeKittyy / SIT-INF1003-Mathematics-1
  Singapore Institute of Technology - INF1003 Mathematics 1
  ☆10Updated last year
• Blockchains-Princeton / COS-ECE470-fa2022
  Princeton University - COS/ECE 470 : Principles of Blockchains
  ☆19Updated 2 years ago
• EricDarve / NLA
  Numerical Linear Algebra Notes CME 302 Stanford
  ☆15Updated 7 months ago
• cs61 / cs61-sections
  CS61 section material
  ☆26Updated 8 months ago
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated last month
• zawagner22 / transformers_math_experiments
  ☆18Updated 9 months ago
• calgaryml / condensed-sparsity
  [ICLR 2024] Dynamic Sparse Training with Structured Sparsity
  ☆18Updated last year
• CMU-IDeeL / CMU-IDeeL.github.io
  11-785 Introduction to Deep Learning (IDeeL) website with logistics and select course materials
  ☆49Updated this week
• cs61 / cs61-lectures
  CS61 lecture material
  ☆98Updated 7 months ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆31Updated 6 months ago
• mikong / stanford-cryptography
  Programming assignments for Coursera Cryptography I by Stanford University
  ☆17Updated 6 years ago
• AnirudhDagar / MessagePassing_for_GNNs
  Experiments with Message Passing GNNs in C++ and PyTorch.
  ☆26Updated 11 months ago
• wellecks / transformers4math-simons
  Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025
  ☆36Updated 3 months ago
• albanie / algorithms-and-data-structures
  Video descriptions and minimalist Python implementations of algorithms and data structures.
  ☆68Updated last year
• akkefa / Must-Read-Books-of-All-Time
  Must Read Books of All Time
  ☆12Updated 5 months ago
• YinTat / optimizationbook
  ☆140Updated last month
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated last year
• paperswithcode / sotabench-api
  Easily benchmark Machine Learning models on selected tasks and datasets
  ☆16Updated 2 years ago
• Hulalazz / A-_Guide_-to_Data_Sciecne_from_mathematics
  It is a blueprint to data science from the mathematics to algorithms. It is not completed.
  ☆63Updated last year
• SatyendraBanjare / plt-formal-methods-resources
  Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…
  ☆57Updated 5 years ago
• RandallBalestriero / SplineLLM
  ☆16Updated last year
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆46Updated 3 years ago
• gedge-platform / gs-scheduler
  scheduler for gedge-platform
  ☆11Updated last year
• kyegomez / Hedgehog
  Implementation of the model "Hedgehog" from the paper: "The Hedgehog & the Porcupine: Expressive Linear Attentions with Softmax Mimicry"
  ☆14Updated last year
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆8Updated 6 years ago
• finsberg / category-theory-python
  Learning platform for category theory in python
  ☆17Updated this week