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
  ☆150Updated last month
• anirudhakulkarni / Placements-2024
  ☆255Updated 6 months ago
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆139Updated last month
• Aniruddha-Deb / quant-prep
  Quant prep resources/logs
  ☆263Updated 3 months ago
• anurudhp / CPHaskell
  A collection of templates and solutions for Competitive Programming in Haskell
  ☆27Updated 3 years ago
• tejas01101001 / Quant
  Resources for quantitative finance
  ☆86Updated 10 months ago
• The-Shivam-garg / Summer-Research-Internship-Programs
  Summer-Research-Internship-Programs
  ☆56Updated 3 years ago
• nishantkr18 / MLAI_Basics
  ☆25Updated 3 years ago
• ShereenElaidi / mathnotes
  Math notes from my whole degree :-) (And one CS class, and some fun physics)
  ☆22Updated last year
• Gauraviitkgp / Math-IITKGP-Resources
  Resources for Math IITKGP
  ☆110Updated 2 years ago
• ChinmayMittal / IITD-CSE
  The go to place for your departmental needs
  ☆124Updated 3 months ago
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆293Updated last week
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆175Updated last month
• 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 10 months ago
• ancc-iitd / competitive-programming-resources
  A compilation of competitive programming resources, curated by the Algorithms and Coding Club, IIT Delhi
  ☆66Updated 2 years ago
• vEnhance / von
  Olympiad problem database
  ☆46Updated this week
• Rishabh04-02 / The-Beginners-Guide-to-Google-Summer-of-Code-GSoC
  The Beginners Guide to Google Summer of Code (GSoC)
  ☆121Updated 2 years ago
• GPUTilings / RandomTilings
  ☆9Updated 6 years ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆170Updated 3 months ago
• womanreading7 / PhD-Application-Guide
  ☆103Updated last year
• zawagner22 / cross-entropy-for-combinatorics
  Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
  ☆55Updated 3 years ago
• HEPLean / HepLean
  A project to digitalise results from high energy physics into Lean.
  ☆96Updated this week
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆42Updated 7 months ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆123Updated 2 months ago
• surajiitd / Blogs
  This repository contains Technical Blogs and Interview Experiences of top IITs and IISc for admission into M.S by Research or similar pro…
  ☆27Updated 10 months ago
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆142Updated last week
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆222Updated last month
• roed314 / seminars
  Listing of online math seminars
  ☆42Updated 4 months ago
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆357Updated this week
• leanprover / vscode-lean4
  Visual Studio Code extension for the Lean 4 proof assistant
  ☆178Updated this week