tarao / lambda-scalaLinks
Type level lambda calculus in Scala
☆33Updated 10 years ago
Alternatives and similar repositories for lambda-scala
Users that are interested in lambda-scala are comparing it to the libraries listed below
Sorting:
- ☆21Updated last week
- show message when sbt build files changed☆27Updated 7 years ago
- Type-Level Metaprogramming Library in Scala☆47Updated 11 years ago
- Fancy logging library for Scala☆60Updated 7 years ago
- purely functional http client with scalaz.Free☆66Updated this week
- Scala API Search☆38Updated 9 years ago
- Mnemonics - Bytecode generation for scala☆22Updated 12 years ago
- Scala port of Paolo Capriotti's optparse-applicative library. This repository is no longer maintained; newer versions exist in this fork:…☆72Updated 7 years ago
- ☆27Updated 9 years ago
- A lightweight library for functional programming.☆41Updated 5 years ago
- A fast parser combinator library, with extra querying goodness☆34Updated 8 years ago
- yet another testing framework for Scala☆20Updated 8 years ago
- typeclass based functional msgpack serializer/deserializer for Scala. support scala.js and scala-native / msgpack.org[Scala]☆44Updated this week
- Write SQL in Scala☆30Updated 2 years ago
- ☆10Updated 9 years ago
- rabbitmq client in scalaz-stream☆14Updated 2 years ago
- Scalafix rewrites to migrate from sbt 0.13 to 1.0.☆23Updated 7 years ago
- ScalikeJDBC DSL by Free Monad☆15Updated 8 years ago
- A compiler plugin to add support for trailing commas in Scala 2.11☆36Updated 8 years ago
- Generic math programming and algebraic typeclass abstractions for Scala☆9Updated 8 years ago
- Interoperability libraries for Shapeless☆77Updated 8 years ago
- Scala implementation of "Freer Monads, More Extensible Effects" - see http://okmij.org/ftp/Haskell/extensible/more.pdf☆49Updated 4 months ago
- Convert Task to Future, and Future to Task☆63Updated 7 years ago
- sbt jshell plugin☆14Updated this week
- No more compile time boredom!☆41Updated 8 years ago
- Type-safe SQL builder for Scala☆30Updated 5 years ago
- A Markdown parser + object model in scala☆100Updated 8 years ago
- ☆83Updated 11 years ago
- IO types and classes for Scala.☆42Updated 8 years ago
- gestalt : portable and solid macros for Scala☆31Updated 7 years ago