krzemin / scalawave-typelevel-workshopView external linksLinks
Slides and code from Scalawave 2016 "Introduction to typelevel (meta)programming with Shapeless" workshop
☆20Dec 13, 2016Updated 9 years ago
Alternatives and similar repositories for scalawave-typelevel-workshop
Users that are interested in scalawave-typelevel-workshop are comparing it to the libraries listed below
Sorting:
- Giter8 template for a simple project that uses sbt-crossproject.☆11Jul 16, 2018Updated 7 years ago
- A Play! Framework 2 Filter that limits the concurrently processed requests and queues requests exceeding this limit☆12Oct 22, 2014Updated 11 years ago
- Experimental Scala Native library for Postgres access (using libpq)☆16Nov 26, 2025Updated 2 months ago
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆21Aug 5, 2025Updated 6 months ago
- Akka Cluster - absolute minimal☆16May 19, 2018Updated 7 years ago
- Typesafe record types for Scala☆21Jan 26, 2025Updated last year
- Easy, fast, transparent generic derivation of typeclass instances in Scala☆25Jan 30, 2025Updated last year
- ☆20Jan 31, 2026Updated 2 weeks ago
- sbt plugin for TeaVM. Generate JavaScript and WebAssembly from Java bytecode☆11Updated this week
- SBT Plugins For ZIO Projects☆12Updated this week
- A Scala testing library for homeworks☆10Aug 17, 2022Updated 3 years ago
- An sbt plugin for publishing packages to AWS CodeArtifact.☆26May 29, 2024Updated last year
- Dotty Generic Derivation Examples☆28Feb 24, 2021Updated 4 years ago
- An example of running a GraalVM native-image with Scala on AWS Lambda.☆13Oct 24, 2021Updated 4 years ago
- Functional abstractions for Kubernetes leases in Scala☆12Dec 13, 2024Updated last year
- Scala library for guiceless dependency injection☆31Oct 30, 2020Updated 5 years ago
- BitTorrent protocol implementation☆13Jul 27, 2025Updated 6 months ago
- A Scala source code browser☆16Apr 9, 2017Updated 8 years ago
- Lambdas covering supporter operations, mostly in life operations☆10Updated this week
- One enum type class to rule them all☆29Updated this week
- Compile-time expression evaluation for Scala 2☆16Feb 5, 2026Updated last week
- Reactive HTML templating☆12Feb 8, 2026Updated last week
- Spark Sample Project☆11Dec 15, 2015Updated 10 years ago
- Zipkin tracing instrumentation for Akka☆10Dec 26, 2020Updated 5 years ago
- Reasonable telnet server for Scala.☆56Mar 13, 2019Updated 6 years ago
- Sample code for the Akka Typed blog series☆49Aug 2, 2018Updated 7 years ago
- Gigahorse plugin for Github API v3☆12Jun 24, 2018Updated 7 years ago
- ☆14May 23, 2017Updated 8 years ago
- Introduction to PureScript materials.☆31May 24, 2017Updated 8 years ago
- Enable partial unification support (SI-2712 fix) for scala 2.10/2.11/2.12/2.13☆29Jul 11, 2018Updated 7 years ago
- Code samples (and some text) for the Akka Streams hands-on workshop☆28Jul 6, 2017Updated 8 years ago
- Minimal HTTP cache management library in Scala☆14Feb 5, 2026Updated last week
- ☆15Mar 17, 2016Updated 9 years ago
- Tesiting Various Dotty Features☆16Mar 1, 2021Updated 4 years ago
- ☆14Jun 5, 2023Updated 2 years ago
- Annotated Scala version of Oleg's Typed Tagless Final Interpreters: Lecture Notes☆32Aug 20, 2017Updated 8 years ago
- Akka based library for writing Slack bots in Scala.☆31Jan 11, 2023Updated 3 years ago
- An sbt plugin that backports parts of sbt 1's public API on top of sbt 0.13 implementation☆17Jul 20, 2023Updated 2 years ago
- ZioMagicComments is a Scalafix rule that adds explanatory graphs as comments to zio-magic methods☆14Aug 19, 2024Updated last year