tim-m89 / Salsa

Related projects ⓘ

Alternatives and complementary repositories for Salsa

• tsurucapital / euphoria
  Dynamic network FRP with events and continuous values
  ☆53Updated 4 years ago
• jfdm / idris-xml
  A simple XML module for Idris.
  ☆13Updated 4 years ago
• shayan-najd / MiniFeldspar
  ☆23Updated 9 years ago
• UnkindPartition / monad-classes
  A more flexible mtl
  ☆64Updated 6 years ago
• jdevuyst / dependable-data-structures
  Experiments in implementing functional data structures in Idris
  ☆14Updated 5 years ago
• system-f / papa
  Reasonable Haskell default import
  ☆27Updated 2 years ago
• atzeus / reflectionwithoutremorse
  Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection
  ☆66Updated 3 years ago
• i-am-tom / LICK
  Idris-written, correct-by-construction, simply-typed lambda calculus.
  ☆39Updated 6 years ago
• idris-hackers / idris-free
  Free Monads and useful constructions to work with them
  ☆26Updated 6 years ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated 3 weeks ago
• hdbc / hdbc-odbc
  ODBC driver for HDBC
  ☆26Updated last year
• david-christiansen / idris-quickcheck
  A port of QuickCheck to Idris
  ☆57Updated 7 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• zadarnowski / quiver
  Quiver stream processing library
  ☆15Updated 8 years ago
• psibi / stackgo
  Browser plugin to automatically redirect Hackage library pages to Stackage pages.
  ☆15Updated 7 years ago
• schell / varying
  Continuously varying values, made easy :)
  ☆40Updated 5 years ago
• chpatrick / codec
  Easy bidirectional serialization in Haskell
  ☆50Updated 5 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• UnkindPartition / freemonad-benchmark
  ☆24Updated 7 years ago
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated last year
• ekmett / zippers
  Zippers based on lenses and traversals
  ☆38Updated last year
• YoEight / lambda-database-experiment
  Experimental event store database entirely written in Haskell
  ☆30Updated 7 years ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 4 years ago
• tonymorris / validation
  ☆31Updated 3 years ago
• tel / hotep
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Updated 7 years ago
• int-index / union
  Extensible type-safe unions for Haskell
  ☆32Updated 2 months ago
• lukemaurer / sequent-core
  Alternative Core language for GHC plugins
  ☆39Updated 8 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 7 months ago
• danidiaz / foldl-transduce
  ☆8Updated 3 years ago