Alternatives and similar repositories for puzzles

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

• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆48Updated 2 weeks ago
• transmogrifier / eulerlib
  A library of recreational mathematics and number theory related functions inspired by Project Euler
  ☆18Updated 10 years ago
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated last year
• holdenlee / number-theory
  Open-source number theory textbook
  ☆59Updated 10 months ago
• ChaakuDaaku / learning_quantum_computing
  Pool of Resources arranged in proper order to get started with Quantum Computing
  ☆28Updated 6 years ago
• praveenb7 / Quantum-Computing-Resources
  This repository contains the best resources for learning practical quantum computing. This repository will be updated frequently.
  ☆76Updated last year
• cpinitiative / cp-slides
  ☆17Updated 4 years ago
• glapul / contest_library
  A library to use at online programmming contests
  ☆36Updated 8 years ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆153Updated last week
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆73Updated last year
• proRamLOGO / quantum-algorithms
  Quantum Algorithms and Applications
  ☆16Updated 2 years ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated last year
• Quantum-Universal-Education / Quantum-Universal-Education.github.io
  Welcome to this community-driven, open-source website for learning about all aspects of quantum computing, from hardware to algorithms to…
  ☆96Updated last week
• Aryansh-S / USACO
  Algorithms, data structures, and problems in competitive programming up to USACO Platinum
  ☆40Updated 2 years ago
• ekzhang / wkspace
  Competitive programming workspace in the cloud, with support for running and testing code
  ☆26Updated 3 years ago
• HosseinYousefi / CompetitiveCPPManifesto
  ☆14Updated 6 years ago
• gate42qc / Guide-to-QC-and-QI
  This guide is for researchers entering the area of Quantum Computation and Quantum Information Science.
  ☆108Updated 5 years ago
• dolphingarlic / CompetitiveProgramming
  A collection of my solutions to various informatics olympiad problems
  ☆50Updated last year
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 7 years ago
• ekzhang / library
  Advanced algorithm and data structure library in C++
  ☆67Updated 4 years ago
• rahulmj19 / competitive-programming
  my foray into the world of competitive programming
  ☆43Updated 4 years ago
• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆65Updated last year
• leanprover-community / tutorials
  Some Lean tutorials
  ☆183Updated last year
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆262Updated 6 months ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆46Updated 3 years ago
• codereport / CTfP-2021
  Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.
  ☆134Updated 2 years ago
• vEnhance / von
  Olympiad problem database
  ☆49Updated 3 weeks ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆68Updated last year
• leanprover-community / leanprover-community.github.io
  Hosts the website for mathlib and other Lean community infrastructure.
  ☆62Updated this week
• manjunath5496 / Mathematical-Physics-Books
  "Theoretical physics is metaphysics but metaphysics is not theoretical physics." ― Khalid Masood
  ☆23Updated 5 years ago