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.
  ☆62Updated last year
• illinois-cs241 / broadway
  A distributed systems framework used running distributable workloads.
  ☆18Updated 5 months ago
• vitalab / neuralteleportation
  Isomorphisms of quiver representations applied to neural networks.
  ☆16Updated 7 months ago
• vEnhance / otis-web
  OTIS course management system
  ☆41Updated 2 weeks ago
• albanie / algorithms-and-data-structures
  Video descriptions and minimalist Python implementations of algorithms and data structures.
  ☆63Updated last year
• rltheorybook / rltheorybook.github.io
  ☆28Updated 3 years ago
• manjunath5496 / Compiler-Books
  "No technology that's connected to the internet is unhackable." ― Abhijit Naskar
  ☆18Updated 5 years ago
• google / init2winit
  ☆74Updated this week
• manjunath5496 / Matrix-Algebra-Books
  "Education is not an end to itself. You need to know algebra but also how to navigate the world." ― Sal Khan
  ☆12Updated 5 years ago
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated last year
• adam-oberman / adam-oberman.github.io
  Adam Oberman McGill Professor page
  ☆8Updated this week
• angrave / CS341-Lectures-SP24
  CS341 for Spring 2024
  ☆10Updated 7 months ago
• WMX567 / Math-and-Algorithm-Learning
  A collection of books/notes for Math and Algorithm study (files available)
  ☆126Updated 3 months ago
• rschwiebert / RingApp
  A database app for ring theory
  ☆21Updated 2 weeks ago
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 3 years ago
• km-git-acc / dbn_upper_bound
  Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project
  ☆13Updated last year
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆44Updated 3 years ago
• mit-frap / spring22
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022
  ☆20Updated 2 years ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆22Updated 3 years ago
• geohot / coq-hardy
  Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq
  ☆53Updated 5 years ago
• dave-fernandes / SaddleFreeOptimizer
  A second order optimizer for TensorFlow that uses the Saddle-Free method.
  ☆20Updated 6 years ago
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆75Updated last month
• zifeo / EPFL
  EPFL summaries & cheatsheets over 5 years (computer science, communication systems, data science and computational neuroscience).
  ☆165Updated 3 years ago
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆28Updated last year
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆66Updated last year
• artur-deluca / landscapeviz
  Visualizing the the loss landscape of Fully-Connected Neural Networks
  ☆44Updated last year
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆99Updated 4 months ago
• mseri / AoM
  Lecture notes of the course Analysis On Manifolds
  ☆20Updated last month
• ImperialCollegeLondon / M1F-explained
  A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"
  ☆11Updated last year
• dominique-unruh / qrhl-tool
  Proof assistant for qRHL
  ☆19Updated last month