Alternatives and similar repositories for hackerrank:

Users that are interested in hackerrank are comparing it to the libraries listed below

• diagrams / diagrams-graphviz
  Graph layout and drawing with GraphViz and diagrams
  ☆10Updated 4 months ago
• cartazio / language-c
  git mirror of language-c darcs repo at http://code.haskell.org/language-c
  ☆11Updated last year
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated 8 months ago
• philzook58 / lens-algebra
  Type level algebraic "proofs" using lens combinators
  ☆19Updated 5 years ago
• pepeiborra / gc-benchmarks
  Benchmarks using the non-moving incremental GHC garbage collector
  ☆22Updated 5 years ago
• TikhonJelvis / Reactive-Life
  A functional reactive GUI for John Conway's Game of Life.
  ☆25Updated 8 years ago
• rudymatela / extrapolate
  generalize counter-examples of property-based testing
  ☆13Updated this week
• quchen / show-prettyprint
  Robust prettyprinter for output of auto-generated Show instances
  ☆18Updated 5 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 2 years ago
• clarus / coq-blog
  A blog about Coq
  ☆10Updated 3 years ago
• icicle-lang / jetski-ambiata
  Runtime compilation and invocation of C.
  ☆10Updated 5 years ago
• eugmes / imp
  Compiler for IMP programming language implemented in Haskell
  ☆16Updated 4 years ago
• nikivazou / proof-combinators
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Updated 6 years ago
• haskell-distributed / distributed-process-platform
  DEPRECATED (Cloud Haskell Platform) in favor of distributed-process-extras, distributed-process-async, distributed-process-client-server,…
  ☆47Updated 9 years ago
• ct-gradual-typing / Papers
  The Combination of Dynamic and Static Typing from a Categorical Perspective
  ☆10Updated 7 years ago
• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated last year
• co-dan / interactive-diagrams
  Interactive-diagrams
  ☆39Updated 9 years ago
• fpco / schoolofhaskell.com
  ☆16Updated 4 years ago
• dschrempf / mcmc
  Markov chain Monte Carlo with Metropolis-Hasting algorithm
  ☆16Updated 3 months ago
• pleiad / Refinements
  Experiments in formalizing refinement type systems in Coq
  ☆17Updated 8 years ago
• shlevy / cat-fiat
  An attempt to formalize unix cat in fiat
  ☆12Updated 7 years ago
• ptigwe / hs-flatris
  An implementation of Flatris using Haskell and Miso
  ☆32Updated 5 years ago
• haskell-distributed / distributed-process-async
  Cloud Haskell - Asynchronous Execution
  ☆18Updated 4 months ago
• favonia / homotopy
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆26Updated 10 years ago
• batterseapower / edit-distance
  Edit distance library for Haskell
  ☆27Updated 8 years ago
• GaloisInc / argo
  A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
  ☆15Updated 4 months ago
• GaloisInc / hexdump
  A human readable style for binary data.
  ☆11Updated 5 years ago
• 3noch / postgresql-simple-interpolate
  Safe interpolated SQL queries in Haskell
  ☆11Updated last year
• byorgey / species
  ☆17Updated 11 months ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆26Updated 5 years ago