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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Type-Level Metaprogramming Library in Scala☆48May 19, 2014Updated 12 years ago
- Extensible protocols for Scala☆13Jul 8, 2016Updated 10 years ago
- ☆29Oct 27, 2014Updated 11 years ago
- rabbitmq client in scalaz-stream☆14Aug 30, 2022Updated 4 years ago
- Patch data type for Scala and shapeless☆61Feb 5, 2020Updated 6 years ago
- Seekable sources and efficient incremental sinks☆17Sep 20, 2017Updated 9 years ago
- An sbt plugin to configure Java Flight Recorder☆10Jul 28, 2024Updated 2 years ago
- An extension to slick.jdbc☆23Sep 13, 2026Updated 3 weeks ago
- IO types and classes for Scala.☆42Nov 26, 2016Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Rebind is a Scala port/remake of the Haskell retry library.☆16Jun 8, 2015Updated 11 years ago
- Exploration of the Free monad without point☆11Oct 23, 2016Updated 9 years ago
- type-classes for structural manipulation of algebraic data types☆17Oct 7, 2018Updated 8 years ago
- property based testing library for Scala☆282Oct 3, 2026Updated last week
- 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
- Runorama injection with Free / Coproduct / Coyoneda☆28Mar 1, 2015Updated 11 years ago
- ☆35Dec 29, 2015Updated 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.
- RTOS based on L4 microkernel.☆17Sep 18, 2018Updated 8 years ago
- sbt APIs targeted for eventual inclusion in sbt core☆12Feb 21, 2015Updated 11 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 10 years ago
- Invertible syntax and partial isomorphisms for Scala☆31Nov 28, 2017Updated 8 years ago
- Yausl : Yet Another Unit System Library for Scala☆16May 23, 2016Updated 10 years ago
- ☆17Sep 12, 2016Updated 10 years ago
- A lightweight library for functional programming.☆41Jul 2, 2019Updated 7 years ago
- 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
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- An elegant RPC system for reasonable people☆308Jun 8, 2017Updated 9 years ago
- Play2 ActionBuilder Composition Support☆15Dec 4, 2018Updated 7 years ago
- Scala implementation of "Freer Monads, More Extensible Effects" - see http://okmij.org/ftp/Haskell/extensible/more.pdf☆49Jan 8, 2025Updated last year
- Interoperability libraries for Shapeless☆77May 21, 2017Updated 9 years ago
- Cats instances for ScalaCheck data types☆18Nov 21, 2016Updated 9 years ago
- Benchmarks for scalac☆68Sep 26, 2025Updated last year
- Functional type classes for Scala☆180Mar 13, 2015Updated 11 years ago