krzemin/scalawave-typelevel-workshop external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

krzemin/scalawave-typelevel-workshop

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/krzemin/scalawave-typelevel-workshop)

Close

krzemin / scalawave-typelevel-workshopView on GitHubMore

• External links
• Readme badge

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. We may earn a commission when you buy through links labeled 'Ad' on this page.

• portable-scala / sbt-crossproject.g8

  View on GitHub
  Giter8 template for a simple project that uses sbt-crossproject.
  ☆11Jul 16, 2018Updated 8 years ago
• jdegoes / intro-to-ps

  View on GitHub
  Introduction to PureScript materials.
  ☆31May 24, 2017Updated 9 years ago
• inoio / play-requests-limiter

  View on GitHub
  A Play! Framework 2 Filter that limits the concurrently processed requests and queues requests exceeding this limit
  ☆12Oct 22, 2014Updated 12 years ago
• indoorvivants / roach

  View on GitHub
  Experimental Scala Native library for Postgres access (using libpq)
  ☆16Nov 26, 2025Updated 11 months ago
• deusaquilus / derivation_examples

  View on GitHub
  Dotty Generic Derivation Examples
  ☆28Feb 24, 2021Updated 5 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• huangjs / spark-sample-project

  View on GitHub
  Spark Sample Project
  ☆11Dec 15, 2015Updated 10 years ago
• EncodePanda / spark-workshop

  View on GitHub
  ☆14May 23, 2017Updated 9 years ago
• eed3si9n / gigahorse-github

  View on GitHub
  Gigahorse plugin for Github API v3
  ☆12Jun 24, 2018Updated 8 years ago
• chrisokasaki / hwtest

  View on GitHub
  A Scala testing library for homeworks
  ☆10Aug 17, 2022Updated 4 years ago
• ignission / aws-lambda-graal-native-scala-example

  View on GitHub
  An example of running a GraalVM native-image with Scala on AWS Lambda.
  ☆13Oct 24, 2021Updated 5 years ago
• bishabosha / Mesa

  View on GitHub
  Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.
  ☆21Aug 5, 2025Updated last year
• lightbend / pipelines-examples

  View on GitHub
  Pipelines Example Applications
  ☆13Nov 5, 2019Updated 7 years ago
• fiadliel / sbt-partial-unification

  View on GitHub
  Enable partial unification support (SI-2712 fix) for scala 2.10/2.11/2.12/2.13
  ☆29Jul 11, 2018Updated 8 years ago
• cwmyers / event-stream-api

  View on GitHub
  Restful Event Stream API built with Free monads
  ☆72Apr 1, 2020Updated 6 years ago
• End-to-end encrypted email - Proton Mail • Ad
  Special offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
• milessabin / tls-philly-rbtree-2016

  View on GitHub
  ☆15Mar 17, 2016Updated 10 years ago
• gosubpl / akka-streams-workshop

  View on GitHub
  Code samples (and some text) for the Akka Streams hands-on workshop
  ☆28Jul 6, 2017Updated 9 years ago
• bkirwi / applicative-syntax

  View on GitHub
  Hacky applicative-style for comprehensions for Scala.
  ☆38Apr 29, 2022Updated 4 years ago
• travisbrown / typelevel-tour

  View on GitHub
  A tour of some Typelevel libraries
  ☆25Dec 16, 2017Updated 8 years ago
• plokhotnyuk / expression-evaluator

  View on GitHub
  Compile-time expression evaluation for Scala 2
  ☆16Jun 15, 2026Updated 4 months ago
• scalalandio / enumz

  View on GitHub
  One enum type class to rule them all
  ☆30Jun 23, 2026Updated 4 months ago
• dwijnand / sbt-compat

  View on GitHub
  An sbt plugin that backports parts of sbt 1's public API on top of sbt 0.13 implementation
  ☆17Jul 20, 2023Updated 3 years ago
• Jasper-M / implicitlogic

  View on GitHub
  A simple toy project for playing around with some implicit resolution tricks
  ☆12May 6, 2021Updated 5 years ago
• jokade / swog

  View on GitHub
  Scala wrapper generator for interop with C, C++, Objective-C, and script languages.
  ☆15Oct 9, 2020Updated 6 years ago
• Open source password manager - Proton Pass • Ad
  Securely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
• debasishg / typed-tagless-final

  View on GitHub
  Annotated Scala version of Oleg's Typed Tagless Final Interpreters: Lecture Notes
  ☆32Aug 20, 2017Updated 9 years ago
• deusaquilus / dotty_test

  View on GitHub
  Tesiting Various Dotty Features
  ☆16Mar 1, 2021Updated 5 years ago
• WojciechMazur / ScalaNative-SAM-examples

  View on GitHub
  ☆14Jun 5, 2023Updated 3 years ago
• j-mie6 / parsley-cats

  View on GitHub
  Typeclass instances for `parsley` to make it compatible with `cats`
  ☆14Jan 24, 2026Updated 9 months ago
• dotty-cps-async / cps-async-connect

  View on GitHub
  Typeclasses for integration of dotty-cps-async with well-known monads.
  ☆16Sep 27, 2026Updated last month
• krzemin / octopus

  View on GitHub
  Scala library for boilerplate-free validation
  ☆153Jun 24, 2024Updated 2 years ago
• tpolecat / tuco

  View on GitHub
  Reasonable telnet server for Scala.
  ☆57Mar 13, 2019Updated 7 years ago
• patriknw / akka-typed-blog

  View on GitHub
  Sample code for the Akka Typed blog series
  ☆49Aug 2, 2018Updated 8 years ago
• neandertech / quickmaffs

  View on GitHub
  ☆14Apr 15, 2026Updated 6 months ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• zio / zio-sbt

  View on GitHub
  SBT Plugins For ZIO Ecosystem
  ☆15Updated this week
• Atry / html.scala

  View on GitHub
  Reactive HTML templating
  ☆12Jun 28, 2026Updated 4 months ago
• sbt / sxr

  View on GitHub
  A Scala source code browser
  ☆16Apr 9, 2017Updated 9 years ago
• sbt-teavm / sbt-teavm

  View on GitHub
  sbt plugin for TeaVM. Generate JavaScript and WebAssembly from Java bytecode
  ☆12Oct 28, 2026Updated last week
• note / xml-lens

  View on GitHub
  XML Optics library for Scala
  ☆33Sep 21, 2019Updated 7 years ago
• milessabin / si2712fix-plugin

  View on GitHub
  Fix for SI-2712 implemented as a compiler plugin for Scala 2.11.8 and 2.10.6
  ☆46Dec 15, 2017Updated 8 years ago
• johnynek / funcytown

  View on GitHub
  Immutable/persistent functional data-structures which can transparently spill to disk.
  ☆13Sep 13, 2012Updated 14 years ago