Concise syntax for polymorphic values in Scala 2.x.
☆55Apr 26, 2022Updated 3 years ago
Alternatives and similar repositories for pascal
Users that are interested in pascal are comparing it to the libraries listed below
Sorting:
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 9 years ago
- Typeclass-based HashSet/HashMap for Scala☆31Apr 2, 2017Updated 8 years ago
- type-classes for structural manipulation of algebraic data types☆17Oct 7, 2018Updated 7 years ago
- Invertible syntax and partial isomorphisms for Scala☆31Nov 28, 2017Updated 8 years ago
- A scala macro for reasonable lazy semantics☆85Updated this week
- Scala implementation of "Freer Monads, More Extensible Effects" - see http://okmij.org/ftp/Haskell/extensible/more.pdf☆49Jan 8, 2025Updated last year
- Transform and compose tagless final encoded algebras in scala☆93Jul 17, 2018Updated 7 years ago
- ☆29Oct 27, 2014Updated 11 years ago
- Extensible effects for Scala☆37Jun 29, 2022Updated 3 years ago
- Seamless interop layer between cats and scalaz☆175Feb 26, 2021Updated 5 years ago
- A way to show data in tabular form☆15Mar 18, 2019Updated 7 years ago
- Cats Bifunctor IO☆79Jan 18, 2019Updated 7 years ago
- Leibniz equivalence and Liskov substitutability library for Scala.☆37Mar 28, 2022Updated 3 years ago
- Problem solving à la carte☆22Apr 11, 2022Updated 3 years ago
- Library that provides those stupid little IO utility methods you always end up needing.☆26Jan 17, 2018Updated 8 years ago
- Scala compiler plugin which provides syntax for contexts `x ⊢ { ... }`☆19Aug 29, 2017Updated 8 years ago
- Array-based immutable collections for scala☆87Mar 22, 2018Updated 7 years ago
- Exploration of the Free monad without point☆11Oct 23, 2016Updated 9 years ago
- ☆115Mar 28, 2022Updated 3 years ago
- Library for counting and enumerating things.☆47Jul 20, 2021Updated 4 years ago
- tagless final macro☆18Sep 14, 2015Updated 10 years ago
- Operations for primitive and String singleton types☆164Aug 12, 2024Updated last year
- Extensible algebraic effects with handlers☆148Mar 2, 2026Updated 2 weeks ago
- A compiler plugin to add support for trailing commas in Scala 2.11☆36Jun 28, 2016Updated 9 years ago
- (Actually) flexible law checking for Scala☆15Dec 22, 2016Updated 9 years ago
- ☆22Nov 8, 2017Updated 8 years ago
- A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.☆73Jun 15, 2019Updated 6 years ago
- Proof-of-concept Prolog compiler that compiles down to Scala implicits.☆20Feb 2, 2016Updated 10 years ago
- A master-class in Origami - from primitive recursions to Kan-extension-based Folds☆14Nov 21, 2017Updated 8 years ago
- A type-parametric unboxed Option type for Scala☆64Oct 10, 2021Updated 4 years ago
- Simple, efficient wrapper for fast concatenation/iteration.☆112Sep 4, 2018Updated 7 years ago
- Access Scala language features on the type-level☆31Aug 19, 2024Updated last year
- ☆17Sep 12, 2016Updated 9 years ago
- Monadic folds☆70Oct 21, 2022Updated 3 years ago
- Work in progress: Simpler and more powerful alternative to Scala's built-in for-comprehension syntax☆25Jun 23, 2016Updated 9 years ago
- Scala compiler plugin which provides syntax for working with locally declared implicit values☆53Apr 18, 2015Updated 10 years ago
- Random Scala thought experiments and miscellany.☆11Aug 24, 2016Updated 9 years ago
- A dimensional analysis library based on dependent types☆198Aug 15, 2024Updated last year
- Type level lambda calculus in Scala☆33May 5, 2015Updated 10 years ago