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"
  ☆54Updated 2 years ago
• Lysxia / advent-of-coq-2021
  ☆44Updated 4 years ago
• emilypi / group-theory
  The theory of groups
  ☆81Updated 2 years ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 5 years ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆167Updated 4 years ago
• ngzhian / ski
  SKI combinators
  ☆56Updated 8 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆66Updated 4 years ago
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆61Updated 2 months ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆64Updated last year
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆179Updated this week
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆61Updated 11 months ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 6 years ago
• UniMath / Schools
  ☆94Updated 9 months ago
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆85Updated 9 years ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 3 years ago
• leanprover / logic_and_proof_lean3
  CMU Undergrad Course
  ☆95Updated 2 years ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆75Updated this week
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆95Updated last year
• cedille / ial
  The Iowa Agda Library
  ☆53Updated 2 months ago
• leanprover-community / mathlib-tools
  Development tools for https://github.com/leanprover-community/mathlib
  ☆34Updated 2 years ago
• benediktahrens / CT4P
  ☆36Updated last month
• jonsterling / math
  A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
  ☆53Updated 3 years ago
• ryanorendorff / functional-linear-algebra
  Formalizing linear algebra in Agda by representing matrices as functions
  ☆27Updated 2 years ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated last year
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆37Updated 3 months ago
• haskell / haskell-report
  Haskell Language Report
  ☆94Updated 5 years ago
• walkie / Hagl
  A Haskell DSEL for experimental game theory.
  ☆39Updated 3 years ago
• paulcadman / the-little-typer
  Resources for "The Little Typer" study group
  ☆49Updated 5 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆76Updated 2 years ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆58Updated 11 years ago