alcestes / lchannels

Related projects ⓘ

Alternatives and complementary repositories for lchannels

• alcestes / effpi
  Verified message-passing programs in Dotty
  ☆47Updated 3 years ago
• typelevel / typeclassic
  Everything you need to make type classes first class.
  ☆61Updated 8 years ago
• TiarkRompf / scala-escape
  A compiler plug-in to control object lifetimes in Scala
  ☆63Updated 7 years ago
• non / kronecker
  Library for counting and enumerating things.
  ☆44Updated 3 years ago
• aloiscochard / scato
  An exploration of purely functional library design in Scala.
  ☆103Updated 8 years ago
• atnos-org / origami
  Monadic folds
  ☆70Updated 2 years ago
• TomasMikula / freeless
  Alternative to Free monads
  ☆34Updated 8 years ago
• sjrd / scala-unboxed-option
  A type-parametric unboxed Option type for Scala
  ☆60Updated 3 years ago
• propensive / totalitarian
  Totalitarian: typesafe data structures for working with total functions
  ☆49Updated 5 years ago
• wheaties / TwoTails
  A Scala compiler plugin for mutual tail recursion
  ☆88Updated 4 years ago
• durban / seals
  Tools for schema evolution and language-integrated schemata
  ☆65Updated 3 years ago
• marcinzh / skutek
  Extensible effects for Scala
  ☆37Updated 2 years ago
• ccadllc / cedi-dtrace
  Provides a functional API for tracing programs across system and network boundaries.
  ☆62Updated 4 months ago
• mpilquist / local-implicits
  Scala compiler plugin which provides syntax for working with locally declared implicit values
  ☆54Updated 9 years ago
• bkirwi / applicative-syntax
  Hacky applicative-style for comprehensions for Scala.
  ☆37Updated 2 years ago
• runarorama / scala-mset
  Multisets for Scala
  ☆85Updated 3 years ago
• m50d / paperdoll
  Scala implementation of "Freer Monads, More Extensible Effects" - see http://okmij.org/ftp/Haskell/extensible/more.pdf
  ☆49Updated 6 years ago
• zainab-ali / fs2-reactive-streams
  A reactive streams implementation for fs2
  ☆63Updated 5 years ago
• adelbertc / aiyou
  IO types and classes for Scala.
  ☆42Updated 7 years ago
• aecor / liberator
  Liberator - sent to make you Free
  ☆89Updated 5 years ago
• scalaz / scalaz-plugin
  A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.
  ☆73Updated 5 years ago
• mandubian / scalaeff
  ☆35Updated 8 years ago
• scalameta / scalagen
  WIP - Scalameta powered code generation
  ☆40Updated 6 years ago
• pvillega / free-tagless-eff
  Comparison between different patterns
  ☆27Updated 7 years ago
• earldouglas / sbt-frege
  Frege support for sbt
  ☆53Updated last week
• kailuowang / mainecoon
  Transform and compose tagless final encoded algebras in scala
  ☆96Updated 6 years ago
• milessabin / export-hook
  Minimal infrastructure for type class providers to support the inclusion of derived, subclass and other orphan instances in their implici…
  ☆89Updated 5 years ago
• melrief / sonic
  A Scala implementation of hedgehog using the typelevel libraries
  ☆30Updated 4 years ago