rkaippully / gamgee

Related projects ⓘ

Alternatives and complementary repositories for gamgee

• KerfuffleV2 / haskell-polysemy-test
  Guess-A-Number game in Haskell using Polysemy
  ☆28Updated 2 years ago
• system-f / papa
  Reasonable Haskell default import
  ☆27Updated 2 years ago
• eraserhd / Idris-json
  Formally verified JSON parser
  ☆14Updated 7 years ago
• jneira / wai-servlet
  Library to integrate eta wai applications with servlet api
  ☆18Updated 5 years ago
• bitemyapp / hedgehog-checkers
  Like the checkers library, but for hedgehog. Common stuff you'd want to check.
  ☆22Updated 6 years ago
• ndmitchell / profiterole
  GHC prof manipulation script
  ☆31Updated 9 months ago
• hamishmack / ghci-fork
  :fork command for ghci
  ☆21Updated 5 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• haskell / text-icu
  This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
  ☆47Updated 2 months ago
• ekmett / zippers
  Zippers based on lenses and traversals
  ☆38Updated last year
• i-am-tom / oops
  Classy error-handling (and dispatching!) in Haskell.
  ☆48Updated 5 years ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 6 years ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆22Updated 4 years ago
• benweitzman / freer-persistent
  freer-effects wrapper for persistent queries
  ☆12Updated 7 years ago
• well-typed / basic-sop
  Basic examples and functions for generics-sop
  ☆20Updated last year
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆23Updated 3 months ago
• haskell-perf / numbers
  Benchmarks for numbers: ints, doubles, bignums, rationals, etc.
  ☆20Updated 7 years ago
• ekmett / hkd
  higher-kinded data
  ☆30Updated last year
• phadej / kleene
  Kleene algebra, regular expressions
  ☆32Updated last year
• haskell-hvr / base-noprelude
  All of `base` without the `Prelude` module
  ☆44Updated last year
• lambdageek / freer-church
  Church-encoding of the Freer monad
  ☆29Updated 8 years ago
• sellout / dredd
  Automatic type class law checking.
  ☆24Updated 11 months ago
• scrive / log
  Structured logging solution.
  ☆35Updated last year
• SamuelSchlesinger / gaia
  An experiment in functional interface design
  ☆23Updated 8 years ago
• symphony-org / frost
  Frost
  ☆19Updated 4 years ago
• plaidfinch / StrictCheck
  Keep your laziness in check!
  ☆32Updated 2 years ago
• haskell-streaming / streaming-bytestring
  effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy
  ☆16Updated last month
• jackoe / discourse-tui
  A terminal UI for discourse
  ☆12Updated 4 years ago