Skeleton SBT project for shapeless workshop @ after Scala eXchange 2014
☆22Dec 11, 2014Updated 11 years ago
Alternatives and similar repositories for shapeless-workshop-scalax-2014
Users that are interested in shapeless-workshop-scalax-2014 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Oct 24, 2014Updated 12 years ago
- Concurrency tools for Scala, with equivalents for Scala.js.☆48Aug 10, 2016Updated 10 years ago
- ☆20Jun 16, 2020Updated 6 years ago
- exports your dependency graph to a preloaded local repository☆15May 10, 2019Updated 7 years ago
- Scala demo code from my/Edwin Brady's talk "Scala vs. Idris: Dependent types now and in the future" at Strange Loop 2013☆11Sep 20, 2013Updated 13 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.
- ☆25Aug 11, 2014Updated 12 years ago
- ☆35Dec 29, 2015Updated 10 years ago
- Example code from my presentation on shapeless type class derivation☆28Oct 11, 2015Updated 11 years ago
- A declarative UI framework for Haskell☆15Jan 31, 2026Updated 9 months ago
- Shapelaysson = Shapeless + Play-Json☆23Feb 27, 2013Updated 13 years ago
- Non durable Saga .. a Monad for compensating failed flows☆38Apr 12, 2026Updated 6 months ago
- ☆67Mar 17, 2020Updated 6 years ago
- An elegant RPC system for reasonable people☆308Jun 8, 2017Updated 9 years ago
- ☆83Mar 22, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆13May 14, 2014Updated 12 years ago
- Automatic argonaut codec derivation with shapeless☆100Aug 21, 2024Updated 2 years ago
- ZIO based smtp server☆22Nov 29, 2020Updated 5 years ago
- Type level lambda calculus in Scala☆34May 5, 2015Updated 11 years ago
- All the code from the blog post about exploring STM in ZIO.☆18Nov 6, 2019Updated 6 years ago
- Web Machine inspired hack of the Play Framework☆17Nov 18, 2014Updated 11 years ago
- Type safe delta☆55Nov 11, 2024Updated last year
- A simple typeclass library inspired by scalaz meant as a learning tool by reducing the initial complexity of scalaz.☆10Nov 7, 2016Updated 9 years ago
- Generic programming experiment in Scala☆19Sep 27, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Usage example for zio-akka-cluster☆16Nov 20, 2019Updated 6 years ago
- Comments as GitHub pull requests for Jekyll (and other static site generator) websites.☆16Dec 15, 2018Updated 7 years ago
- Spark Elastic MapReduce bootstrap and runnable examples.☆17Jun 26, 2013Updated 13 years ago
- Scala EDN parser based on Parboiled2☆38Aug 12, 2015Updated 11 years ago
- Populate Case Classes From Any Data Source☆84Mar 14, 2021Updated 5 years ago
- ☆22Nov 8, 2017Updated 8 years ago
- Idris YAML lib☆10Jan 25, 2018Updated 8 years ago
- Flexible data structures in Scala☆15Jan 6, 2016Updated 10 years ago
- Scala compiler plugin which provides syntax for working with locally declared implicit values☆53Apr 18, 2015Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Yausl : Yet Another Unit System Library for Scala☆16May 23, 2016Updated 10 years ago
- Functional type classes for Scala☆180Mar 13, 2015Updated 11 years ago
- Macro-based type providers for Scala (examples)☆85Aug 31, 2015Updated 11 years ago
- Declarative concurrency and stream processing library for Scala☆215Oct 25, 2026Updated last week
- Seamless interop layer between cats and scalaz☆173Feb 26, 2021Updated 5 years ago
- ☆46Feb 7, 2020Updated 6 years ago
- Scala Records: Extensible records and type-indexed maps☆81Jul 6, 2015Updated 11 years ago