Alternatives and similar repositories for logic-programming-2019-2020

Users that are interested in logic-programming-2019-2020 are comparing it to the libraries listed below

• patrickt / configurant
  A Haskell library for loading configuation data from environment variables.
  ☆17Updated 3 years ago
• SamuelSchlesinger / summer
  Extensible sums and products for Haskell
  ☆19Updated 2 years ago
• sdiehl / vim-cabalfmt
  Cabal-fmt vim plugin for formatting Cabal package files
  ☆15Updated 5 years ago
• trevorcook / hkd-delta
  ☆12Updated 6 years ago
• tfausak / splint
  HLint as a GHC source plugin.
  ☆31Updated last year
• Gabriella439 / defaultable-map
  Applicative maps
  ☆16Updated last year
• hanshoglund / iso-deriving
  Derive instances through isomorphisms
  ☆20Updated last year
• phadej / overloaded
  Overloaded plugin
  ☆31Updated last year
• jecaro / diverk
  An Android app to browse GitHub repositories
  ☆15Updated last month
• composewell / unicode-data
  Access unicode character database
  ☆18Updated 3 months ago
• masaeedu / monadoptics
  Profunctor optics for the endofunctor category on Hask
  ☆27Updated 5 years ago
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆38Updated 9 months ago
• cau-placc / inversion-plugin
  ☆10Updated 3 weeks ago
• YellPika / constraint-rules
  Extend GHC's type checker with user-defined rules, without writing a type checker plugin.
  ☆18Updated 4 years ago
• phadej / staged
  Staged Streams and other stuff
  ☆19Updated 3 years ago
• oisdk / monus-weighted-search
  Efficient search weighted by an ordered monoid with monus.
  ☆19Updated 3 years ago
• Lysxia / quickcheck-higherorder
  QuickCheck extension for higher-order properties
  ☆19Updated 3 years ago
• haskell / security-advisories
  ☆59Updated this week
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆33Updated 4 months ago
• mpickering / hs-speedscope
  ☆33Updated 6 months ago
• nobrakal / tungsten
  Bring fusion to everyone
  ☆14Updated 5 years ago
• agentultra / DataVersion
  ☆21Updated 3 years ago
• kowainik / validation-selective
  💂‍♂️ Lightweight pure validation based on Applicative and Selective functors
  ☆70Updated 3 weeks ago
• stefk0 / eai
  Записки по „Езици, автомати и изчислимост"
  ☆14Updated 3 years ago
• dnadales / sandbox
  Damian Nadales's sandbox
  ☆12Updated 2 years ago
• cdepillabout / nix-reverse-deps-of-haskell-package
  Find or build all reverse dependencies of a Haskell package using Nix
  ☆14Updated 5 years ago
• snowleopard / united
  United Monoids
  ☆24Updated 3 years ago
• haskell-actions / hackage-publish
  A GitHub action for publishing packages on Hackage
  ☆32Updated last year
• sheaf / ghc-tcplugin-api
  An interface for GHC type-checking plugins
  ☆21Updated 2 months ago
• kokobd / cabal-hoogle
  ☆41Updated 11 months ago