tarao / lambda-scala
Type level lambda calculus in Scala
☆33Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for lambda-scala
- Fancy logging library for Scala☆60Updated 6 years ago
- show message when sbt build files changed☆27Updated 6 years ago
- ☆21Updated 2 weeks ago
- Type-Level Metaprogramming Library in Scala☆47Updated 10 years ago
- ☆27Updated 9 years ago
- A lightweight library for functional programming.☆41Updated 5 years ago
- No more compile time boredom!☆41Updated 8 years ago
- Scala API Search☆37Updated 8 years ago
- A fast parser combinator library, with extra querying goodness☆34Updated 8 years ago
- purely functional http client with scalaz.Free☆66Updated 2 weeks ago
- typeclass based functional msgpack serializer/deserializer for Scala. support scala.js and scala-native / msgpack.org[Scala]☆44Updated last week
- 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
- IO types and classes for Scala.☆42Updated 7 years ago
- Mnemonics - Bytecode generation for scala☆22Updated 11 years ago
- Scala implementation of "Freer Monads, More Extensible Effects" - see http://okmij.org/ftp/Haskell/extensible/more.pdf☆49Updated 6 years ago
- Scalafix rewrites to migrate from sbt 0.13 to 1.0.☆23Updated 7 years ago
- Convert Task to Future, and Future to Task☆63Updated 6 years ago
- An exploration of purely functional library design in Scala.☆104Updated 8 years ago
- yet another testing framework for Scala☆20Updated 7 years ago
- A regular expression type provider demo☆40Updated 9 years ago
- gestalt : portable and solid macros for Scala☆31Updated 6 years ago
- Interoperability libraries for Shapeless☆77Updated 7 years ago
- SBT plugin to show which projects are different between in git diff☆18Updated 4 years ago
- A Markdown parser + object model in scala☆102Updated 7 years ago
- Play2 ActionBuilder Composition Support☆15Updated 5 years ago
- ☆35Updated 8 years ago
- ScalikeJDBC DSL by Free Monad☆15Updated 8 years ago
- Twirl file marshalling support for akka-http☆15Updated 7 years ago