tarao / lambda-scala
Type level lambda calculus in Scala
☆33Updated 9 years ago
Alternatives and similar repositories for lambda-scala:
Users that are interested in lambda-scala are comparing it to the libraries listed below
- show message when sbt build files changed☆27Updated 7 years ago
- Type-Level Metaprogramming Library in Scala☆47Updated 10 years ago
- ☆21Updated this week
- ☆27Updated 9 years ago
- Fancy logging library for Scala☆60Updated 7 years ago
- Scala port of Paolo Capriotti's optparse-applicative library. This repository is no longer maintained; newer versions exist in this fork:…☆72Updated 6 years ago
- purely functional http client with scalaz.Free☆66Updated this week
- No more compile time boredom!☆41Updated 8 years ago
- yet another testing framework for Scala☆20Updated 7 years ago
- A lightweight library for functional programming.☆41Updated 5 years ago
- rabbitmq client in scalaz-stream☆14Updated 2 years ago
- typeclass based functional msgpack serializer/deserializer for Scala. support scala.js and scala-native / msgpack.org[Scala]☆44Updated this week
- Mnemonics - Bytecode generation for scala☆22Updated 12 years ago
- Scala implementation of "Freer Monads, More Extensible Effects" - see http://okmij.org/ftp/Haskell/extensible/more.pdf☆49Updated 2 months ago
- A compiler plugin to add support for trailing commas in Scala 2.11☆36Updated 8 years ago
- SBT plugin to show which projects are different between in git diff☆18Updated 4 years ago
- Scalafix rewrites to migrate from sbt 0.13 to 1.0.☆23Updated 7 years ago
- gestalt : portable and solid macros for Scala☆31Updated 7 years ago
- ScalikeJDBC DSL by Free Monad☆15Updated 8 years ago
- IO types and classes for Scala.☆42Updated 8 years ago
- A regular expression type provider demo☆40Updated 9 years ago
- Scala API Search☆38Updated 8 years ago
- A sbt plugin for generating useful Scala case classes from SQL files☆29Updated this week
- A fast parser combinator library, with extra querying goodness☆34Updated 8 years ago
- ☆10Updated 9 years ago
- An example SBT project which uses new-style macros☆13Updated 7 years ago
- Destroys failures.☆66Updated last week
- ☆35Updated 9 years ago
- An extension to slick.jdbc☆23Updated last week
- A sbt plugin to switch project in a snappy way⚡️☆37Updated 4 years ago