haskell-org / summer-of-haskell

Related projects ⓘ

Alternatives and complementary repositories for summer-of-haskell

• sdiehl / repline
  Haskeline wrapper for GHCi-like REPL interfaces
  ☆106Updated last year
• mstksg / backprop
  Heterogeneous automatic differentiation ("backpropagation") in Haskell
  ☆181Updated 4 months ago
• qfpl / sv
  Comma (and other) separated values
  ☆76Updated last year
• kowainik / typerep-map
  ⚡️Efficient implementation of Map with types as keys
  ☆100Updated 10 months ago
• nikita-volkov / stm-containers
  Containers for STM
  ☆67Updated 6 months ago
• haskell-perf / dictionaries
  Benchmarks for dictionary data structures: hash tables, maps, tries, etc.
  ☆95Updated 2 years ago
• nh2 / haskell-cpu-instruction-counter
  Measuring CPU instructions in Haskell using Linux Performance Counters
  ☆83Updated 6 years ago
• haskell-checkers / checkers
  Check properties on standard classes and data structures
  ☆79Updated 10 months ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated last year
• basvandijk / scientific
  Arbitrary-precision floating-point numbers represented using scientific notation
  ☆73Updated 4 months ago
• emilypi / group-theory
  The theory of groups
  ☆75Updated last year
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆56Updated 8 months ago
• haskell-servant / servant-swagger-ui
  Provide embedded swagger UI for servant and swagger
  ☆46Updated 4 months ago
• polysemy-research / polysemy-zoo
  Experimental, user-contributed effects and interpreters for polysemy
  ☆70Updated last year
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆90Updated 3 weeks ago
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆35Updated 3 months ago
• ekmett / semigroupoids
  ☆74Updated 4 months ago
• aimyskk / competitive-haskell
  Snippets for competitive programming in Haskell
  ☆22Updated 7 years ago
• nomeata / inspection-testing
  Inspection Testing for Haskell
  ☆173Updated last month
• aelve / guide
  A workspace for research teams
  ☆106Updated 4 years ago
• RyanGlScott / ghc-software-foundations
  The Software Foundations book, in GHC
  ☆83Updated 3 weeks ago
• haskell / hsc2hs
  Pre-processor for .hsc files
  ☆38Updated 3 weeks ago
• composewell / unicode-transforms
  Fast Unicode normalization in Haskell
  ☆47Updated 4 months ago
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆145Updated 6 years ago
• ZHaskell / z-botan
  Crypto for Haskell
  ☆37Updated 3 years ago
• mstksg / inCode
  Source for personal blog.
  ☆76Updated last week
• theam / require
  🔌 Scrap your qualified import clutter
  ☆38Updated 3 years ago
• patrickt / empathy
  a modern library for typed path manipulation in Haskell
  ☆36Updated 3 years ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆157Updated 6 months ago