Alternatives and similar repositories for Salsa

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

• tsurucapital / euphoria
  Dynamic network FRP with events and continuous values
  ☆52Updated 4 years ago
• i-am-tom / LICK
  Idris-written, correct-by-construction, simply-typed lambda calculus.
  ☆39Updated 7 years ago
• YoEight / lambda-database-experiment
  Experimental event store database entirely written in Haskell
  ☆30Updated 7 years ago
• tomlokhorst / language-cil
  Manipulating Common Intermediate Language AST in Haskell
  ☆22Updated 8 years ago
• UnkindPartition / monad-classes
  A more flexible mtl
  ☆63Updated 7 years ago
• ekmett / kan-extensions
  Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
  ☆79Updated last week
• schell / varying
  Continuously varying values, made easy :)
  ☆42Updated 5 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆65Updated 6 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 5 years ago
• ku-fpg / sunroof-compiler
  Monadic Javascript Compiler
  ☆73Updated 9 years ago
• atzeus / reflectionwithoutremorse
  Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection
  ☆66Updated 3 years ago
• bfops / open-union
  Type-safe open unions in Haskell
  ☆32Updated 7 years ago
• dreixel / syb
  Scrap Your Boilerplate generic programming library in Haskell
  ☆46Updated 6 months ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 7 years ago
• david-christiansen / idris-type-providers
  Type provider library for Idris
  ☆94Updated 7 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• int-index / union
  Extensible type-safe unions for Haskell
  ☆34Updated 3 months ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated 7 months ago
• jfdm / idris-xml
  A simple XML module for Idris.
  ☆13Updated 5 years ago
• goldfirere / ghc
  Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
  ☆24Updated 6 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 6 months ago
• rampion / kinder-functor
  An alternate definition of Haskell's Functor typeclass
  ☆42Updated 6 years ago
• rethab / bindings-dsl
  Library and macros to simplify writing Haskell FFI code
  ☆40Updated 2 years ago
• bamboo / idris-cil
  A Common Intermediate Language backend for Idris 1
  ☆133Updated 6 years ago
• david-christiansen / idris-quickcheck
  A port of QuickCheck to Idris
  ☆59Updated 7 years ago
• byteverse / colonnade
  Generic types and functions for encoding and decoding columns
  ☆44Updated 7 months ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 7 years ago
• ekmett / comonad
  Haskell 98 comonads
  ☆77Updated 3 months ago
• edsko / ghc-dump-tree
  Dump GHC's abstract syntax trees
  ☆41Updated 3 years ago