Alternatives and similar repositories for infer_workshop

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

• purescript-contrib / purescript-matryoshka
  Generalized folds, unfolds, and traversals for fixed point data structures
  ☆59Updated 3 years ago
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆66Updated 4 years ago
• nikita-volkov / jsonifier
  Fast and simple JSON encoding toolkit
  ☆82Updated last year
• matt-noonan / justified-containers
  Standard containers, with keys that carry type-level proofs of their own presence.
  ☆81Updated 5 years ago
• bindthegap / bindthegap.github.io
  Bind The Gap: FP digital magazine
  ☆21Updated 4 years ago
• inflex-io / early
  Add early return to any do-expression
  ☆46Updated 3 years ago
• kcsongor / purescript-safe-printf
  Safe printf-like formatting in purescript
  ☆37Updated 5 years ago
• qnikst / haskell-fun
  A short scripts and programs
  ☆12Updated 2 years ago
• tdietert / types-as-specifications
  ☆49Updated 5 years ago
• kcsongor / typelevel-prelude
  Standard module for type-level programming in Haskell
  ☆31Updated 5 years ago
• kowainik / eio
  🎯 IO with Exceptions tracked on the type-level
  ☆58Updated 4 years ago
• Eventuria / demonstration-gsd
  GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell
  ☆52Updated 5 years ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• Nipsuli / unisonhttp
  WIP: unison http implementation
  ☆19Updated 5 years ago
• jcpetruzza / barbies
  ☆93Updated last year
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated last year
• freeman42x / haskell-streamers
  List of Haskell streamers on Twitch, YouTube, etc.
  ☆29Updated 4 years ago
• jameshaydon / smproc
  A well-typed symmetric-monoidal category of concurrent processes
  ☆24Updated 6 years ago
• gvolpe / exchange-rates
  Querying a rate-limited currency exchange API using Redis as a cache
  ☆42Updated 5 years ago
• nikita-volkov / neat-interpolation
  A quasiquoter for neat and simple multiline text interpolation
  ☆56Updated last year
• paf31 / dovetail
  A PureScript interpreter in Haskell
  ☆120Updated 3 years ago
• purescript-contrib / purescript-formatters
  Formatting and printing for numeric and date/time/interval values
  ☆40Updated 2 years ago
• A1kmm / http4idris
  An experimental HTTP framework for Idris
  ☆14Updated 5 years ago
• cdepillabout / post-about-nix-and-haskell
  ☆29Updated 5 years ago
• winterland1989 / data-has
  Simple extensible product
  ☆37Updated 4 years ago
• Lysxia / generic-data
  Generic data types in Haskell, utilities for GHC.Generics
  ☆45Updated last month
• kowainik / slist
  ♾️ Sized list
  ☆46Updated last year
• Gabriella439 / managed
  A monad for managed values
  ☆50Updated 2 years ago
• isovector / type-sets
  type level sets
  ☆67Updated 5 years ago