Alternatives and similar repositories for gsoc24:

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

• GeomScale / volesti
  Practical volume computation and sampling in high dimensions
  ☆161Updated this week
• vEnhance / otis-web
  OTIS course management system
  ☆40Updated last week
• kapilovsky / MAD-1-Project-IESCP
  ☆10Updated last month
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆193Updated this week
• GeomScale / gsoc21
  GeomScale in Google Summer of Code 2021
  ☆9Updated 4 years ago
• CrapTheCoder / UpCode
  Upload accepted solutions from CodeChef and CodeForces to GitHub
  ☆51Updated 8 months ago
• anjalibhavan / postgrad-scholarships-for-indian-students
  Postgraduate scholarships, fellowships, endowments etc. for Indian students
  ☆17Updated 4 years ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆44Updated last week
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆386Updated this week
• invesalius / gsoc
  ☆22Updated last month
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆146Updated this week
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆161Updated this week
• anirudhakulkarni / Placements-2024
  ☆263Updated 9 months ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆236Updated 4 months ago
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆205Updated 3 weeks ago
• GeomScale / gsoc20
  GeomScale in Google Summer of Code 2020
  ☆13Updated 5 years ago
• vEnhance / von
  Olympiad problem database
  ☆47Updated this week
• nishantkr18 / MLAI_Basics
  ☆25Updated 4 years ago
• zestyoreo / iitb_courses
  Stash of course resource of my courses @IITB CSE
  ☆12Updated last year
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆151Updated this week
• nishantwrp / gsoc-organizations
  A site for viewing and analyzing the info of the organizations participating in Google Summer of Code.
  ☆487Updated 3 weeks ago
• ancc-iitd / competitive-programming-resources
  A compilation of competitive programming resources, curated by the Algorithms and Coding Club, IIT Delhi
  ☆68Updated 2 years ago
• forestLoop / Learning-ITMO-Academy-Pilot-Course
  ITMO Academy: Pilot Course on Codeforce
  ☆53Updated 3 years ago
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆88Updated 5 months ago
• NebulaTris / mad_II_iitm
  This repository contains the solutions for the graded assignments and JavaScript programming assignments of the Modern Application Develo…
  ☆37Updated last year
• PatrikBak / GeoGen
  Automated generation of planar geometry olympiad problems
  ☆88Updated last year
• Kharagpur-Data-Analytics-Group / reading-sessions
  AI Related Research Paper Reading Sessions - organized by KDAG
  ☆26Updated 3 years ago
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆155Updated this week
• cp-algorithms / cp-algorithms-aux
  Auxiliary stuff for article sources
  ☆68Updated 4 months 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