Virtual Classes for Scala implemented as annotation macro
☆11Aug 27, 2014Updated 12 years ago
Alternatives and similar repositories for scala-virtual-classes-annotation-macros
Users that are interested in scala-virtual-classes-annotation-macros are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ANTLR3 plugin for sbt 0.12.x☆12Jan 20, 2015Updated 11 years ago
- Figi is a small macro based utility for Scala 2.11 that allows you to easily create simple type-safe wrappers for configuration objects.☆10Jan 31, 2016Updated 10 years ago
- ☆10Oct 21, 2026Updated last week
- An example SBT project which uses new-style macros☆13Jul 29, 2017Updated 9 years ago
- Make PartialFunction and extractors composable☆22Aug 19, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Awesome scala compiler guides/papers/videos/talks☆21Sep 21, 2015Updated 11 years ago
- Generic regular expression library for Scala using Spire☆19Sep 16, 2014Updated 12 years ago
- ☆44Sep 7, 2013Updated 13 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 6 years ago
- Concise syntax for polymorphic values in Scala 2.x.☆55Apr 26, 2022Updated 4 years ago
- A type-parametric unboxed Option type for Scala☆65Oct 10, 2021Updated 5 years ago
- Satisfy Scala Futures quickly☆11Jun 16, 2018Updated 8 years ago
- (No longer actively maintained.)☆158Dec 8, 2025Updated 10 months ago
- Fix for SI-2712 implemented as a compiler plugin for Scala 2.11.8 and 2.10.6☆46Dec 15, 2017Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- An Idris type provider for communicating type-checkable protocols.☆27Nov 6, 2017Updated 8 years ago
- Scala compiler plugin which provides syntax for contexts `x ⊢ { ... }`☆19Aug 29, 2017Updated 9 years ago
- ☆46Apr 2, 2020Updated 6 years ago
- Scala JSON library designed for easy, type-safe, and non-reflective (dis)assembly of JSON payloads☆41Jun 2, 2022Updated 4 years ago
- A regular expression type provider demo☆41Sep 16, 2015Updated 11 years ago
- Yausl : Yet Another Unit System Library for Scala☆16May 23, 2016Updated 10 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆17Mar 6, 2020Updated 6 years ago
- Looks up scaladoc.☆46Aug 4, 2013Updated 13 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Enable cross-building of sbt plugins☆46Aug 13, 2017Updated 9 years ago
- Composable folds☆13Jul 18, 2018Updated 8 years ago
- Educational implementation of dependent types☆19May 16, 2018Updated 8 years ago
- First class patterns and pattern matching, using type families☆14Jun 6, 2018Updated 8 years ago
- Bringing Spire to Dotty/Scala 3☆14Feb 19, 2024Updated 2 years ago
- Scala library for memory-efficient data structures☆75Oct 23, 2017Updated 9 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 10 years ago
- rewrite Scala code avoiding usage of "bad" features and staying as close as possible to original source☆15May 12, 2015Updated 11 years ago
- ☆12Jul 28, 2017Updated 9 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.
- Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization☆37May 18, 2026Updated 5 months ago
- small Scala veneer over JGit☆22Sep 17, 2025Updated last year
- A Functional Reactive Programming framework for Scala☆13Mar 12, 2013Updated 13 years ago
- Fast, customizable, boilerplate-free pickling support for Scala. MOVED TO http://github.com/scala/pickling☆18Jun 30, 2013Updated 13 years ago
- Invertible syntax for Scala.☆13Oct 17, 2016Updated 10 years ago
- A compiler plug-in to control object lifetimes in Scala☆65Jul 15, 2017Updated 9 years ago
- A native binding generator for the Scala language.☆35Jul 17, 2017Updated 9 years ago