aisamanra / s-cargot

Related projects ⓘ

Alternatives and complementary repositories for s-cargot

• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• ekmett / zippers
  Zippers based on lenses and traversals
  ☆38Updated last year
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 6 years ago
• ekmett / constraints
  Tools for programming with ConstraintKinds in GHC
  ☆71Updated last month
• esoeylemez / rapid
  Rapid prototyping with GHCi
  ☆55Updated 6 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
• agrafix / superrecord
  Haskell: Supercharged anonymous records
  ☆83Updated 2 years ago
• nomeata / ghc-justdoit
  A magic typeclass that just does it
  ☆124Updated 2 years ago
• haskellari / these
  An either-or-both data type, with corresponding hybrid error/writer monad transformer.
  ☆117Updated 3 months ago
• commercialhaskell / describe
  Describe Haskell code in GHCi
  ☆72Updated 7 years ago
• ocharles / logging-effect
  A very general logging effect for Haskell
  ☆60Updated 6 months ago
• i-am-tom / oops
  Classy error-handling (and dispatching!) in Haskell.
  ☆48Updated 5 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆63Updated 5 months ago
• vincenthz / hs-gauge
  Lean Haskell Benchmarking
  ☆90Updated 2 years ago
• ndmitchell / spaceleak
  Notes on space leaks
  ☆101Updated 4 years ago
• cdornan / fmt
  New formatting library
  ☆56Updated 2 years ago
• beijaflor-io / haskell-libui
  Haskell bindings to the libui C library.
  ☆47Updated 6 years ago
• chrisdone-archive / prana
  Interpreter for GHC Haskell
  ☆22Updated 5 years ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆157Updated 6 months ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 6 years ago
• Tehnix / ide-haskell-hie
  Atom LSP plugin for HIE (Haskell IDE Engine)
  ☆26Updated 5 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• qfpl / sv
  Comma (and other) separated values
  ☆76Updated last year
• haskell-checkers / checkers
  Check properties on standard classes and data structures
  ☆79Updated 10 months ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆100Updated last year
• sol / tinc
  A dependency manager for Haskell
  ☆97Updated 2 years ago
• rampion / constraint-unions
  A syntax for unions of constraints in Haskell
  ☆70Updated 7 years ago
• RyanGlScott / text-show
  Efficient conversion of values into Text
  ☆38Updated last month
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• Gabriella439 / managed
  A monad for managed values
  ☆50Updated last year