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
- ☆21Updated last week
- show message when sbt build files changed☆27Updated 7 years ago
- purely functional http client with scalaz.Free☆66Updated last week
- Scala API Search☆38Updated 8 years ago
- ☆27Updated 9 years ago
- SBT plugin to show which projects are different between in git diff☆18Updated 4 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
- ☆10Updated 9 years ago
- sbt jshell plugin☆14Updated this week
- Fancy logging library for Scala☆60Updated 7 years ago
- A fast parser combinator library, with extra querying goodness☆34Updated 8 years ago
- typeclass based functional msgpack serializer/deserializer for Scala. support scala.js and scala-native / msgpack.org[Scala]☆44Updated last week
- yet another testing framework for Scala☆20Updated 7 years ago
- No more compile time boredom!☆41Updated 8 years ago
- Generic math programming and algebraic typeclass abstractions for Scala☆9Updated 7 years ago
- ScalikeJDBC DSL by Free Monad☆15Updated 8 years ago
- A lightweight library for functional programming.☆41Updated 5 years ago
- IO types and classes for Scala.☆42Updated 8 years ago
- gestalt : portable and solid macros for Scala☆31Updated 7 years ago
- A compiler plugin to add support for trailing commas in Scala 2.11☆36Updated 8 years ago
- rabbitmq client in scalaz-stream☆14Updated 2 years ago
- Type-Level Metaprogramming Library in Scala☆47Updated 10 years ago
- Write SQL in Scala☆30Updated 2 years ago
- A regular expression type provider demo☆40Updated 9 years ago
- A sbt plugin for generating useful Scala case classes from SQL files☆29Updated this week
- SBT Plugin for Compiling a Single File☆25Updated 6 years ago
- add-on to Akka Typed that tracks effects for use with Session Types☆50Updated 3 years ago
- Scalafix rewrites to migrate from sbt 0.13 to 1.0.☆23Updated 7 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Updated 6 years ago
- Generation of arbitrary case classes / ADTs instances with Scalaprops and Magnolia☆14Updated last week