Type level lambda calculus in Scala
☆33May 5, 2015Updated 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:
- ☆29Oct 27, 2014Updated 11 years ago
- Scala compiler plugin which provides syntax for working with locally declared implicit values☆53Apr 18, 2015Updated 10 years ago
- Scalaz Japanese Documentation☆22Feb 19, 2026Updated last week
- Concise syntax for polymorphic values in Scala 2.x.☆55Apr 26, 2022Updated 3 years ago
- Work in progress: Simpler and more powerful alternative to Scala's built-in for-comprehension syntax☆25Jun 23, 2016Updated 9 years ago
- Seekable sources and efficient incremental sinks☆17Sep 20, 2017Updated 8 years ago
- Rebind is a Scala port/remake of the Haskell retry library.☆16Jun 8, 2015Updated 10 years ago
- ☆84Mar 22, 2020Updated 5 years ago
- Patch data type for Scala and shapeless☆61Feb 5, 2020Updated 6 years ago
- Exploration of the Free monad without point☆11Oct 23, 2016Updated 9 years ago
- An sbt plugin to configure Java Flight Recorder☆10Jul 28, 2024Updated last year
- Extensible protocols for Scala☆13Jul 8, 2016Updated 9 years ago
- Typeclass-based HashSet/HashMap for Scala☆31Apr 2, 2017Updated 8 years ago
- An extension to slick.jdbc☆23Feb 15, 2026Updated last week
- sbt APIs targeted for eventual inclusion in sbt core☆12Feb 21, 2015Updated 11 years ago
- ☆22Nov 8, 2017Updated 8 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 9 years ago
- rabbitmq client in scalaz-stream☆14Aug 30, 2022Updated 3 years ago
- Interop between fs2 and scalaz☆14Feb 9, 2018Updated 8 years ago
- Runs an Erlang node on an ActorSystem of Akka.☆43Oct 4, 2016Updated 9 years ago
- IO types and classes for Scala.☆42Nov 26, 2016Updated 9 years ago
- Kafkaドキュメント( http://kafka.apache.org/documentation.html )の拙訳☆17Oct 31, 2015Updated 10 years ago
- Play2 ActionBuilder Composition Support☆15Dec 4, 2018Updated 7 years ago
- Tiny lenses library with focus on ease of use.☆20May 29, 2018Updated 7 years ago
- type-classes for structural manipulation of algebraic data types☆17Oct 7, 2018Updated 7 years ago
- property based testing library for Scala☆280Feb 15, 2026Updated last week
- Benchmarks for scalac☆68Sep 26, 2025Updated 5 months ago
- macro-compat is a small library which allows you to compile macros with Scala 2.10.x which are written to the Scala 2.11/2 macro API.☆83Jun 7, 2019Updated 6 years ago
- ☆17Sep 12, 2016Updated 9 years ago
- macro for summoning implicit values☆92Mar 7, 2020Updated 5 years ago
- A lightweight library for functional programming.☆41Jul 2, 2019Updated 6 years ago
- A reasonable logging library for Scala☆85Dec 14, 2017Updated 8 years ago
- Data structure experimentation in scala☆15May 13, 2015Updated 10 years ago
- Yausl : Yet Another Unit System Library for Scala☆16May 23, 2016Updated 9 years ago
- Unique Functional Values for Scala☆17Sep 3, 2024Updated last year
- Allows writing protoc plugins (code generators) in Scala and Java☆20Feb 18, 2026Updated last week
- An elegant RPC system for reasonable people☆306Jun 8, 2017Updated 8 years ago
- Invertible syntax and partial isomorphisms for Scala☆31Nov 28, 2017Updated 8 years ago
- Functional type classes for Scala☆181Mar 13, 2015Updated 10 years ago