Type level lambda calculus in Scala
☆34May 5, 2015Updated 11 years ago
Alternatives and similar repositories for lambda-scala
Users that are interested in lambda-scala are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scalaz Japanese Documentation☆22Updated this week
- Concise syntax for polymorphic values in Scala 2.x.☆55Apr 26, 2022Updated 4 years ago
- Scala compiler plugin which provides syntax for working with locally declared implicit values☆53Apr 18, 2015Updated 11 years ago
- ☆83Mar 22, 2020Updated 6 years ago
- Work in progress: Simpler and more powerful alternative to Scala's built-in for-comprehension syntax☆25Jun 23, 2016Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Type-Level Metaprogramming Library in Scala☆48May 19, 2014Updated 12 years ago
- ☆29Oct 27, 2014Updated 12 years ago
- Seekable sources and efficient incremental sinks☆17Sep 20, 2017Updated 9 years ago
- rabbitmq client in scalaz-stream☆14Aug 30, 2022Updated 4 years ago
- Extensible protocols for Scala☆13Jul 8, 2016Updated 10 years ago
- Patch data type for Scala and shapeless☆61Feb 5, 2020Updated 6 years ago
- Scalafix migrations from Scalaz to Cats☆14Jan 2, 2021Updated 5 years ago
- An sbt plugin to configure Java Flight Recorder☆10Jul 28, 2024Updated 2 years ago
- An extension to slick.jdbc☆23Oct 11, 2026Updated 2 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Rebind is a Scala port/remake of the Haskell retry library.☆16Jun 8, 2015Updated 11 years ago
- IO types and classes for Scala.☆42Nov 26, 2016Updated 9 years ago
- Exploration of the Free monad without point☆11Oct 23, 2016Updated 10 years ago
- property based testing library for Scala☆283Oct 23, 2026Updated last week
- type-classes for structural manipulation of algebraic data types☆17Oct 7, 2018Updated 8 years ago
- Interop between fs2 and scalaz☆14Feb 9, 2018Updated 8 years ago
- ☆22Nov 8, 2017Updated 8 years ago
- Typeclass-based HashSet/HashMap for Scala☆33Apr 2, 2017Updated 9 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Runorama injection with Free / Coproduct / Coyoneda☆28Mar 1, 2015Updated 11 years ago
- ☆35Dec 29, 2015Updated 10 years ago
- PureScript plugin for SBT☆12Oct 10, 2014Updated 12 years ago
- sbt APIs targeted for eventual inclusion in sbt core☆12Feb 21, 2015Updated 11 years ago
- Yausl : Yet Another Unit System Library for Scala☆16May 23, 2016Updated 10 years ago
- Invertible syntax and partial isomorphisms for Scala☆31Nov 28, 2017Updated 8 years ago
- A regular expression type provider demo☆41Sep 16, 2015Updated 11 years ago
- Simple, efficient wrapper for fast concatenation/iteration.☆110Sep 4, 2018Updated 8 years ago
- A lightweight library for functional programming.☆41Jul 2, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A compiler plugin to add support for trailing commas in Scala 2.11☆37Jun 28, 2016Updated 10 years ago
- Kafkaドキュメント( http://kafka.apache.org/documentation.html )の拙訳☆17Oct 31, 2015Updated 10 years ago
- An elegant RPC system for reasonable people☆308Jun 8, 2017Updated 9 years ago
- Play2 ActionBuilder Composition Support☆15Dec 4, 2018Updated 7 years ago
- Interoperability libraries for Shapeless☆77May 21, 2017Updated 9 years ago
- ☆17Sep 12, 2016Updated 10 years ago
- Functional type classes for Scala☆180Mar 13, 2015Updated 11 years ago