Alternatives and similar repositories for weekly-problems:

Users that are interested in weekly-problems are comparing it to the libraries listed below

• mua-uniandes / subjects_material
  Material developed to teach different competitive programming topics
  ☆15Updated 10 months ago
• zejiran / programming-learning-resources
  📚 Multiple resources to start learning and practicing new programming skills
  ☆11Updated 2 years ago
• HoTT / EPIT-2020
  EPIT 2020 - Spring School on Homotopy Type Theory
  ☆103Updated 3 years ago
• lollobaldo / Inf2D-cw1--autotester
  ☆24Updated 3 years ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆295Updated last year
• mtzguido / verificacion-con-fstar-2024
  Repositorio de la optativa para la FCEIA
  ☆16Updated 4 months ago
• anurudhp / CPHaskell
  A collection of templates and solutions for Competitive Programming in Haskell
  ☆27Updated 3 years ago
• vcvpaiva / DialecticaCategories
  A place to collect work on dialectica categories.
  ☆25Updated last week
• j-mie6 / gigaparsec
  Refreshed parsec-style library for compatibility with Scala parsley
  ☆16Updated 3 weeks ago
• TiarkRompf / minidot
  Dependent Object Types (DOT), bottom up
  ☆83Updated 3 years ago
• harp-project / AML-Formalization
  ☆11Updated last week
• vijayphoenix / Compiler-written-in-Haskell
  A Turing complete language 😉
  ☆40Updated 4 years ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆29Updated 2 weeks ago
• plclub / lngen
  Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
  ☆30Updated 2 months ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆125Updated 9 months ago
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆50Updated last year
• j-mie6 / parsley
  A fast and modern parser combinator library for Scala
  ☆181Updated this week
• wenkokke / schmitty
  Agda bindings to SMT-LIB2 compatible solvers.
  ☆95Updated 3 months ago
• LeifAndersen / PLGradSchools
  ☆224Updated 5 months ago
• epsrc-abcd / session-types-use-cases
  This is a common repository for the ABCD team to share use-cases of session types.
  ☆15Updated 8 years ago
• uuverifiers / princess
  The Princess Theorem Prover
  ☆25Updated this week
• xavierleroy / cdf-mech-sem
  Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
  ☆64Updated 9 months ago
• plclub / metalib
  The Penn Locally Nameless Metatheory Library
  ☆74Updated 6 months ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆182Updated this week
• katydid / regex-deriv-lean
  Proofs written in Lean4 for the core katydid validation algorithm
  ☆14Updated last week
• ul-fmf / nadlogar
  Spletna storitev za generiranje nalog
  ☆18Updated last year
• jaspervdj / uplcg
  Untitled PL Card Game
  ☆20Updated 3 years ago
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• uds-psl / autosubst2
  Official repository of the Autosubst 2 project.
  ☆17Updated last year
• OpenSourceCornell / awesome-cornell
  Awesome Projects @ Cornell
  ☆14Updated 6 years ago