tarao / lambda-scala
Type level lambda calculus in Scala
☆33Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for lambda-scala
- show message when sbt build files changed☆27Updated 6 years ago
- purely functional http client with scalaz.Free☆66Updated this week
- ☆21Updated this week
- Type-Level Metaprogramming Library in Scala☆47Updated 10 years ago
- A lightweight library for functional programming.☆41Updated 5 years ago
- Fancy logging library for Scala☆60Updated 6 years ago
- ☆27Updated 9 years ago
- A fast parser combinator library, with extra querying goodness☆34Updated 8 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
- 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 11 years ago
- No more compile time boredom!☆41Updated 8 years ago
- Scala API Search☆37Updated 8 years ago
- ☆10Updated 8 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
- sbt jshell plugin☆14Updated this week
- rabbitmq client in scalaz-stream☆14Updated 2 years ago
- IO types and classes for Scala.☆42Updated 7 years ago
- SBT plugin to show which projects are different between in git diff☆18Updated 4 years ago
- An exploration of purely functional library design in Scala.☆103Updated 8 years ago
- Write SQL in Scala☆30Updated last year
- ☆83Updated 11 years ago
- Interoperability libraries for Shapeless☆77Updated 7 years ago
- playframework2 json extra module. provide convenience functions for define Format, Reads, Writes☆19Updated this week
- gestalt : portable and solid macros for Scala☆31Updated 6 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Updated 6 years ago
- A compiler plugin to add support for trailing commas in Scala 2.11☆36Updated 8 years ago