Alternatives and similar repositories for codeforces-haskell:

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

• emilypi / group-theory
  The theory of groups
  ☆76Updated last year
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆59Updated 5 months ago
• cedille / ial
  The Iowa Agda Library
  ☆47Updated 4 months ago
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• plt-amy / dep
  A very small implementation of the Calculus of Constructions for experimentation purposes
  ☆15Updated 6 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated last year
• rocq-prover / coq.github.io
  Source files of the previous coq.inria.fr website
  ☆16Updated 3 months ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆29Updated 2 years ago
• thautwarm / MLFS.jl
  MLFS type system: raising ML to the power of system F in a Simplest way
  ☆19Updated 4 years ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆124Updated 4 years ago
• 0x0f0f0f / yasih
  Yet another Scheme implemented in Haskell
  ☆20Updated 5 years ago
• serokell / blog-posts
  The place for submitting new articles to the Serokell blog.
  ☆16Updated last year
• bobatkey / CS316-2020
  The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde
  ☆24Updated 3 years ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated 9 months ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆39Updated 3 years ago
• awodey / math
  Mathematical notes and papers
  ☆26Updated this week
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆16Updated 4 years ago
• rocq-community / bits
  A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…
  ☆23Updated 2 months ago
• rocq-archive / paradoxes
  Paradoxes in Set Theory and Type Theory
  ☆11Updated 9 months ago
• favonia / hdtt2020-notes
  ☆36Updated 3 years ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated last week
• kowainik / awesome-cabal
  💫 A curated list of awesome resources for the Haskell Cabal build tool.
  ☆120Updated last year
• BoeingX / haskell-programming-from-first-principles
  Notes and solutions to exercises of "Haskell Programming from first principles"
  ☆37Updated 4 years ago
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆85Updated 8 years ago
• jonsterling / latex-dieudonne
  A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.
  ☆19Updated 3 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
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆47Updated 2 years ago
• ngzhian / ski
  SKI combinators
  ☆54Updated 7 years ago
• UniMath / Schools
  ☆83Updated last week
• dmjio / Julio
  Julia embedded in Haskell
  ☆53Updated 4 months ago