Alternatives and similar repositories for codeforces-haskell

Users that are interested in codeforces-haskell are comparing it to the libraries listed below

• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated last year
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆60Updated 6 months ago
• hide-kawabata / traf
  A proof tree viewer that works with Coq through Proof General
  ☆24Updated 4 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆16Updated 4 years ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆39Updated 3 years ago
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 2 years ago
• bobatkey / CS316-2020
  The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde
  ☆24Updated 3 years ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 4 years ago
• gebner / hott3
  HoTT in Lean 3
  ☆80Updated 4 years ago
• thautwarm / MLFS.jl
  MLFS type system: raising ML to the power of system F in a Simplest way
  ☆19Updated 4 years ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆49Updated 3 years ago
• cedille / ial
  The Iowa Agda Library
  ☆47Updated 5 months ago
• jonsterling / latex-dieudonne
  A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.
  ☆19Updated 4 years ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated 3 weeks ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆50Updated last month
• favonia / hdtt2020-notes
  ☆36Updated 3 years ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated last month
• mit-frap / spring21
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18Updated 4 years ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated 10 months ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago
• UniMath / Schools
  ☆84Updated last month
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆51Updated last year
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 2 weeks ago
• emilypi / group-theory
  The theory of groups
  ☆77Updated last year
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago