All Projects → TypeChecked → alphabet-soup

TypeChecked / alphabet-soup

Licence: Apache-2.0 License
Type calculations at compile time

Programming Languages

scala
5932 projects
Dockerfile
14818 projects

Projects that are alternatives of or similar to alphabet-soup

oh-migrations
Data migrations through implicit function composition at the type-level
Stars: ✭ 23 (-42.5%)
Mutual labels:  typelevel, typelevel-programming
Dilate
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Stars: ✭ 80 (+100%)
Mutual labels:  typelevel
Refined
Simple refinement types for Scala
Stars: ✭ 1,316 (+3190%)
Mutual labels:  typelevel
Http4s
A minimal, idiomatic Scala interface for HTTP
Stars: ✭ 2,173 (+5332.5%)
Mutual labels:  typelevel
Coulomb
coulomb: unit analysis for Scala
Stars: ✭ 109 (+172.5%)
Mutual labels:  typelevel
Mouse
A small companion to cats
Stars: ✭ 247 (+517.5%)
Mutual labels:  typelevel
Hammock
Purely functional HTTP client
Stars: ✭ 174 (+335%)
Mutual labels:  typelevel
Doobie
Functional JDBC layer for Scala.
Stars: ✭ 1,910 (+4675%)
Mutual labels:  typelevel
Typedapi
Build your web API on the type level.
Stars: ✭ 165 (+312.5%)
Mutual labels:  typelevel
sbt-org-policies
Just an SBT plugin that enforces some organizational policies and settings across all of your projects
Stars: ✭ 22 (-45%)
Mutual labels:  typelevel
Advanced Http4s
🌈 Code samples of advanced features of Http4s in combination with some features of Fs2 not often seen.
Stars: ✭ 136 (+240%)
Mutual labels:  typelevel
Monix
Asynchronous, Reactive Programming for Scala and Scala.js.
Stars: ✭ 1,819 (+4447.5%)
Mutual labels:  typelevel
typelevel-stack.g8
📚 Unofficial Giter8 template for the Typelevel Stack (Http4s / Doobie / Circe / Cats Effect / Fs2) based on Cats v1.x.x
Stars: ✭ 63 (+57.5%)
Mutual labels:  typelevel
Monocle
Optics library for Scala
Stars: ✭ 1,357 (+3292.5%)
Mutual labels:  typelevel
AUXify
Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric
Stars: ✭ 25 (-37.5%)
Mutual labels:  typelevel-programming
Spotted Leopards
Proof of concept for a cats-like library built using Dotty features
Stars: ✭ 91 (+127.5%)
Mutual labels:  typelevel
txstate
An effort to statically type xstate
Stars: ✭ 64 (+60%)
Mutual labels:  typelevel
http4s-dom
http4s, in a browser near you
Stars: ✭ 13 (-67.5%)
Mutual labels:  typelevel
http4s-modules
Web modules built on Http4s
Stars: ✭ 31 (-22.5%)
Mutual labels:  typelevel
general
Repository for general Typelevel information, activity and issues
Stars: ✭ 19 (-52.5%)
Mutual labels:  typelevel

Alphabet soup

CircleCI Maven Central (Releases) License

This library is intended to give a seamless way to manipulate scala structures into one another, mixing the types intelligently as required

For a whistle-stop tour of the underlying algorithm, see here

Documentation

Please see the documentation site for information on this library

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].