Alternatives and similar repositories for Salsa:

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

• i-am-tom / LICK
  Idris-written, correct-by-construction, simply-typed lambda calculus.
  ☆39Updated 6 years ago
• schell / varying
  Continuously varying values, made easy :)
  ☆40Updated 5 years ago
• tsurucapital / euphoria
  Dynamic network FRP with events and continuous values
  ☆52Updated 4 years ago
• atzeus / reflectionwithoutremorse
  Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection
  ☆66Updated 3 years ago
• int-index / union
  Extensible type-safe unions for Haskell
  ☆33Updated 2 weeks ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated 4 months ago
• ekmett / either
  the EitherT monad transformer
  ☆55Updated 3 weeks ago
• dreixel / syb
  Scrap Your Boilerplate generic programming library in Haskell
  ☆45Updated 3 months ago
• byteverse / colonnade
  Generic types and functions for encoding and decoding columns
  ☆43Updated 4 months ago
• mokus0 / monad-loops
  Some useful control operators for looping
  ☆48Updated 5 years ago
• zadarnowski / quiver
  Quiver stream processing library
  ☆15Updated 8 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• jfdm / idris-xml
  A simple XML module for Idris.
  ☆13Updated 4 years ago
• ekmett / comonad
  Haskell 98 comonads
  ☆78Updated 3 weeks ago
• sellout / Iaia
  A recursion scheme library for Idris.
  ☆24Updated 4 months ago
• rampion / kinder-functor
  An alternate definition of Haskell's Functor typeclass
  ☆42Updated 5 years ago
• Gabriella439 / pipes-concurrency
  Concurrency for the pipes ecosystem
  ☆43Updated 2 years ago
• laurmcarter / type-combinators
  Type level lists, pairs, sums, their operations, and their properties.
  ☆24Updated 6 years ago
• davidfstr / idris-insertion-sort
  Provably correct implementation of insertion sort in Idris.
  ☆30Updated 3 years ago
• haskell-perf / graphs
  ☆40Updated 5 years ago
• ekmett / exceptions
  mtl friendly exceptions
  ☆51Updated 3 weeks ago
• konn / type-natural
  Type-level well-kinded natural numbers.
  ☆34Updated 2 months ago
• serokell / haskell-with-utf8
  Get your IO right on the first try
  ☆53Updated last week
• vincenthz / hs-memory
  haskell memory
  ☆48Updated last year
• david-christiansen / idris-type-providers
  Type provider library for Idris
  ☆94Updated 7 years ago
• ekmett / kan-extensions
  Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
  ☆79Updated 3 weeks ago
• YoEight / lambda-database-experiment
  Experimental event store database entirely written in Haskell
  ☆30Updated 7 years ago
• well-typed / lens-sop
  Computing lenses generically using generics-sop
  ☆16Updated 5 months ago
• typelead / eta-ffi
  A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.
  ☆18Updated 7 years ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 5 years ago