Alternatives and similar repositories for tcstorment

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

• mhorod / tcs-suffering
  Notes from subjects taught on TCS, JU
  ☆24Updated last month
• mhorod / oop-unit-tests
  Unit tests for problems of Object Oriented Programming course on TCS
  ☆10Updated 3 years ago
• sio2project / oioioi
  ☆174Updated this week
• farmersrice / saltzero
  Machine learning bot for ultimate tic-tac-toe based on DeepMind's AlphaGo Zero paper. C++ and Python.
  ☆26Updated 4 years ago
• dselsam / neurosat
  NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
  ☆283Updated 6 years ago
• marekpiotradamczyk / ml_uwr_23
  ☆9Updated last year
• noisg / sg_noi_archive
  Archive of Singapore National Olympiad in Informatics (NOI)
  ☆187Updated 2 months ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆461Updated this week
• ccz181078 / Coq-BB5
  ☆307Updated 2 months ago
• icpcarchive / icpcarchive.github.io
  Collection of problems and solutions of final and regional ICPC contests
  ☆11Updated 7 months ago
• kth-competitive-programming / kactl
  KTH Algorithm Competition Template Library (... eller KTHs AC-tillverkande lapp)
  ☆2,921Updated 4 months ago
• vlaamseprogrammeerwedstrijd / opgaves
  Opgaves van de voorbije jaren
  ☆22Updated last year
• anAcc22 / another_graph_editor
  A graph editor
  ☆133Updated this week
• Florian3k / fayrant-lang
  Simple, interpreted, dynamically-typed programming language
  ☆27Updated 2 years ago
• zawagner22 / cross-entropy-for-combinatorics
  Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
  ☆55Updated 3 years ago
• PatrikBak / GeoGen
  Automated generation of planar geometry olympiad problems
  ☆91Updated last year
• Hegdahl / competitive-programming-tools
  My tools for programming competitions
  ☆24Updated last year
• demidenko / olymp-cpp-lib
  ☆23Updated 3 months ago
• AnglyPascal / MO-Problem-Journal
  A journal of theorems, lemmas and problems for Mathematical Olympiads.
  ☆50Updated 4 years ago
• Denjell / TLE
  🤖 Discord Bot for Competitive Programming. This fork is mainly used on Errichtos Discord Server
  ☆17Updated 5 months ago
• leanprover-community / NNG4
  Natural Number Game
  ☆167Updated 2 months ago
• Florian3k / planer-uwr
  ☆21Updated last year
• xiaoxiae / slama.dev
  The source code to my personal website.
  ☆28Updated this week
• mrigankpawagi / NumericalMethods
  Numerical Methods and Functions Library
  ☆5Updated last year
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆50Updated 3 years ago
• ifsmirnov / jngen
  Library for generating tests for olympiad problems
  ☆257Updated 2 years ago
• aryanc403 / remind
  A discord bot that sends reminders for future contests.
  ☆54Updated 3 years ago
• dolphingarlic / CompetitiveProgramming
  A collection of my solutions to various informatics olympiad problems
  ☆50Updated last year
• cpinitiative / usaco-guide
  A free collection of curated, high-quality resources to take you from Bronze to Platinum and beyond.
  ☆1,692Updated this week
• purplesyringa / problem-xml-specs
  Specs of the problem.xml format for competitive programming judge systems
  ☆21Updated 2 years ago