Alternatives and similar repositories for codeforces-haskell:

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

• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆57Updated 2 months ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 2 years ago
• vmchale / dickinson
  Text generation language
  ☆33Updated 2 weeks ago
• emilypi / group-theory
  The theory of groups
  ☆76Updated last year
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 2 years ago
• cedille / ial
  The Iowa Agda Library
  ☆47Updated last month
• Lysxia / advent-of-coq-2021
  ☆40Updated 3 years ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆16Updated 4 years ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated last year
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆38Updated 3 years ago
• gebner / hott3
  HoTT in Lean 3
  ☆76Updated 4 years ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆47Updated 2 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆50Updated 11 months ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆26Updated 4 years ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• alhassy / next-700-module-systems
  PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
  ☆81Updated 3 years ago
• AndrasKovacs / implicit-fun-elaboration
  Implementation for ICFP 2020 paper
  ☆49Updated 3 years ago
• andrejbauer / clerical
  Command-like expressions for real infinite-precision calculations
  ☆41Updated last year
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆75Updated last year
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆26Updated 3 years ago
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆34Updated last year
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆120Updated 3 years ago
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 4 years ago
• danelahman / lograc-2022
  Git repository for the course Logika v računalništvu
  ☆11Updated 2 years ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆43Updated 4 years ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆29Updated 2 weeks ago
• favonia / hdtt2020-notes
  ☆35Updated 3 years ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆57Updated this week
• 0x0f0f0f / yasih
  Yet another Scheme implemented in Haskell
  ☆20Updated 5 years ago