Alternatives and similar repositories for codeforces-haskell:

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

• Lysxia / advent-of-coq-2021
  ☆40Updated 3 years ago
• thautwarm / MLFS.jl
  MLFS type system: raising ML to the power of system F in a Simplest way
  ☆19Updated 4 years ago
• emilypi / group-theory
  The theory of groups
  ☆76Updated last year
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated last year
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆47Updated 2 years ago
• cedille / ial
  The Iowa Agda Library
  ☆47Updated 3 months 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
• coq-community / gaia
  Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
  ☆30Updated this week
• sweirich / graded-haskell
  Graded Dependent Type systems
  ☆24Updated last year
• andrejbauer / clerical
  Command-like expressions for real infinite-precision calculations
  ☆42Updated last year
• Lysxia / gradual-eff-paper
  ☆17Updated last year
• thery / hanoi
  Hanoi tower in Coq
  ☆24Updated 2 months ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆57Updated 3 months ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated last week
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• ice1000 / agda-mode
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆26Updated 4 years ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 4 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 2 years ago
• mit-frap / spring21
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18Updated 3 years ago
• vmchale / dickinson
  Text generation language
  ☆33Updated last week
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆29Updated 2 years ago
• favonia / hdtt2020-notes
  ☆36Updated 3 years ago
• coq-community / apery
  A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]
  ☆20Updated this week
• danelahman / lograc-2022
  Git repository for the course Logika v računalništvu
  ☆11Updated 2 years ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆16Updated 4 years ago
• AndrasKovacs / implicit-fun-elaboration
  Implementation for ICFP 2020 paper
  ☆49Updated 3 years ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆34Updated 2 weeks ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• RobertHarper / pl-syntax
  PL syntax macros.
  ☆19Updated this week
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 4 years ago