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 11 months ago
• ul-fmf / nadlogar
  Spletna storitev za generiranje nalog
  ☆18Updated last year
• uuverifiers / princess
  The Princess Theorem Prover
  ☆26Updated this week
• ul-fmf / projekt-tomo
  Spletna storitev za poučevanje programiranja
  ☆14Updated 7 months ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆181Updated 3 weeks ago
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆73Updated 10 months ago
• gapt / gapt
  GAPT: General Architecture for Proof Theory
  ☆97Updated this week
• rzk-lang / rzk
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆216Updated last week
• leodemoura / lean
  Lean Theorem Prover
  ☆16Updated 6 years ago
• uds-psl / coq-library-undecidability
  A library of mechanised undecidability proofs in the Coq proof assistant.
  ☆113Updated 3 weeks ago
• OpenLogicProject / photos
  Digital images used as illustrations in the Open Logic Project
  ☆6Updated 8 years ago
• coq / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆21Updated this week
• isabelle-prover / cookbook
  A collection of useful tips/tricks/hints for Isabelle users.
  ☆16Updated 9 months ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆289Updated last year
• andrejbauer / notes-on-realizability
  Lecture notes on realizability
  ☆67Updated 4 months ago
• sondresl / AdventOfCode
  🎄❄️Advent of Code solutions in Haskell 🎅🎁
  ☆10Updated last month
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆243Updated this week
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆72Updated 2 years ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆158Updated 8 months ago
• agda / agda-categories
  A new Categories library for Agda
  ☆374Updated this week
• plclub / metalib
  The Penn Locally Nameless Metatheory Library
  ☆74Updated 7 months ago
• anurudhp / CPHaskell
  A collection of templates and solutions for Competitive Programming in Haskell
  ☆27Updated 3 years ago
• dtraytel / cyp
  Checker for "morally correct" induction proofs about haskell programs
  ☆8Updated 2 years ago
• arielsilveira / ModalLibrary
  Modal Logic Library in Coq
  ☆15Updated 2 years ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆281Updated 2 months ago
• wenkokke / schmitty
  Agda bindings to SMT-LIB2 compatible solvers.
  ☆96Updated 4 months ago
• LeifAndersen / PLGradSchools
  ☆227Updated 6 months ago
• harp-project / AML-Formalization
  ☆12Updated this week
• proglang / FunctionalProgramming
  Support repository for the functional programming lecture (Haskell)
  ☆16Updated 2 weeks ago
• nadia-polikarpova / synquid
  ☆122Updated 2 years ago