TypeChecked / numerology

Related projects ⓘ

Alternatives and complementary repositories for numerology

• sjrd / scala-unboxed-option
  A type-parametric unboxed Option type for Scala
  ☆60Updated 3 years ago
• scalameta / scalagen
  WIP - Scalameta powered code generation
  ☆40Updated 6 years ago
• runarorama / scala-mset
  Multisets for Scala
  ☆85Updated 3 years ago
• swachter / scala-ts
  ☆33Updated last year
• kubukoz / flawless
  WIP Delightful, purely functional testing no-framework. Don't even try to use it at work!
  ☆37Updated last week
• stacycurl / pimpathon
  Adds useful methods to scala & java classes.
  ☆35Updated 2 years ago
• liufengyun / gestalt
  gestalt : portable and solid macros for Scala
  ☆31Updated 6 years ago
• davegurnell / unindent
  Indent-adjusted multiline string literals for Scala.
  ☆50Updated 2 months ago
• scalalandio / catnip
  Static annotations for Kittens for people who don't like to write semiautomatic derivations into companion objects themselves.
  ☆42Updated 3 years ago
• marcinzh / skutek
  Extensible effects for Scala
  ☆37Updated 2 years ago
• typelevel / case-insensitive
  A case-insensitive string for Scala
  ☆37Updated last week
• optics-dev / Monocly
  Optics experimentation for Dotty
  ☆32Updated 3 years ago
• monix / implicitbox
  Scala micro-library providing utilities for capturing implicits.
  ☆18Updated 3 years ago
• atnos-org / origami
  Monadic folds
  ☆70Updated 2 years ago
• scalaz / scalaz-plugin
  A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.
  ☆73Updated 5 years ago
• vpavkin / dtc
  Provides type classes for datetime values. Works both on JVM & ScalaJS.
  ☆40Updated last year
• propensive / probably
  To probe what we can't prove, so the unprovable may become probable; testing for Scala
  ☆55Updated last week
• earldouglas / linear-scala
  Linear types in Scala
  ☆39Updated this week
• propensive / totalitarian
  Totalitarian: typesafe data structures for working with total functions
  ☆49Updated 5 years ago
• sellout / turtles
  Generalized recursion schemes and traversals for Scala, using Cats.
  ☆48Updated 5 years ago
• japgolly / microlibs-scala
  ☆26Updated 3 months ago
• TomasMikula / pascal
  Concise syntax for polymorphic values in Scala 2.x.
  ☆53Updated 2 years ago
• typelevel / coop
  Cooperative multithreading as a pure monad transformer
  ☆73Updated this week
• oleg-py / stm4cats
  STM monad for cats-effect
  ☆37Updated 5 years ago
• tpolecat / typename
  Get the name of a type at compile-time. Amaze your friends!
  ☆75Updated last year
• Jacoby6000 / sqlz
  Pure Functional SQL generation.
  ☆40Updated 6 years ago
• davenverse / selection
  Scala Library for transforming subsets of values within a functor.
  ☆18Updated 2 years ago
• http4s / http4s-jdk-http-client
  JDK 11+ http client implementation for http4s clients
  ☆56Updated this week