Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Ruby

Zig

Crystal

Kotlin

Java

CoffeeScript

Rust

F#

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Scala

C++

Dart

PowerShell

Groovy

Perl

Objective-C

C

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇲🇾 Malaysia

🇵🇹 Portugal

🇸🇮 Slovenia

🇬🇭 Ghana

🇰🇿 Kazakhstan

🇲🇦 Morocco

🇧🇸 The Bahamas

🇹🇩 Chad

All Countries Compare Countries

typelevel/spire

Units of Measurement Time, Positions and Units of Measurement

Stars
1,761
Rank 26,443 (Top 0.6 %)
Language
Scala
License
MIT License
Created about 13 years ago
Updated 4 months ago

typelevel

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Powerful new number types and numeric abstractions for Scala.

Spire

Spire is a numeric library for Scala which is intended to be generic, fast, and precise.

See the companion microsite

cats

Lightweight, modular, and extensible library for functional programming.

Scala

5,182

fs2

Compositional, streaming I/O library for Scala

Scala

2,359

doobie

Functional JDBC layer for Scala.

Scala

2,161

scalacheck

Property-based testing for Scala

Scala

1,908

cats-effect

The pure asynchronous runtime for Scala

Scala

1,817

skunk

A data access library for Scala + Postgres.

Scala

1,579

simulacrum

First class syntax support for type classes in Scala

Scala

937

squants

The Scala API for Quantities, Units of Measure and Dimensional Analysis

Scala

922

kind-projector

Compiler plugin for making type lambdas (type projections) easier to write

Scala

915

frameless

Expressive types for Spark.

Scala

879

cats-collections

Data structures for pure functional programming in Scala

Scala

557

kittens

Automatic type class derivation for Cats

Scala

531

jawn

Jawn is for parsing jay-sawn (JSON)

Scala

431

log4cats

Logging Tools For Interaction with cats-effect

Scala

400

Laika

Site and E-book Generator and Customizable Text Markup Transformer for sbt, Scala and Scala.js

Scala

387

algebra

Experimental project to lay out basic algebra type classes

Scala

378

mouse

A small companion to cats

Scala

365

sbt-tpolecat

scalac options for the enlightened

Scala

328

discipline

Flexible law checking for Scala

Scala

328

natchez

functional tracing for cats

Scala

324

cats-tagless

Library of utilities for tagless final encoded algebras

Scala

314

cats-mtl

cats transformer type classes.

Scala

308

CT_from_Programmers.scala

Scala sample code for Bartosz Milewski's CT for Programmers

Scala

279

fs2-grpc

gRPC implementation for FS2/cats-effect

Scala

270

cats-parse

A parsing library for the cats ecosystem

Scala

233

machinist

Spire's macros for zero-cost operator enrichment

Scala

191

cats-effect-testing

Integration between cats-effect and test frameworks

Scala

191

shapeless-3

Generic programming for Scala

Scala

185

paiges

an implementation of Wadler's a prettier printer

Scala

183

grackle

Grackle: Functional GraphQL for the Typelevel stack

Scala

176

sbt-typelevel

Let sbt work for you.

Scala

170

munit-cats-effect

Integration library for MUnit & cats-effect

Scala

149

feral

Feral cats are homeless, feral functions are serverless

Scala

144

catbird

Birds and cats together

Scala

139

otel4s

An OpenTelemetry library for Scala based on Cats-Effect

Scala

138

fs2-chat

Sample project demonstrating use of fs2-io to build a chat client and server

Scala

123

spotted-leopards

Proof of concept for a cats-like library built using Dotty features

Scala

112

fabric

Object-Notation Abstraction for JSON, binary, HOCON, etc.

Scala

110

literally

Compile time validation of literal values built from strings

Scala

106

toolkit

Quickstart your next app with the Typelevel Toolkit!

Scala

cats-time

Cats Instances for Java Time

Scala

typelevel-nix

Development tools for Typelevel projects

Nix

cats-effect-cps

An incubator project for async/await syntax support for Cats Effect

Scala

vault

Type-safe, persistent storage for values of arbitrary types

Scala

shapeless-contrib

Interoperability libraries for Shapeless

Scala

scalacheck-effect

Effectful property testing built on ScalaCheck

Scala

coop

Cooperative multithreading as a pure monad transformer

Scala

claimant

Library to support automatic labeling of ScalaCheck properties.

Scala

typeclassic

Everything you need to make type classes first class.

Scala

scalaz-contrib

Interoperability libraries & additional data structures and instances for Scalaz

Scala

twiddles

Micro-library for building effectful protocols

Scala

monoids

Generic Monoids for Scala

Scala

fs2-netty

What it says on the tin!

Scala

sbt-catalysts

sbt utilities for open source projects

Scala

natchez-http4s

Glorious integration layer for Natchez and Http4s.

Scala

typelevel.github.com

Web site of typelevel.scala

HTML

jawn-fs2

Integration between jawn and fs2

Scala

keypool

A Keyed Pool Implementation for Scala

Scala

scalaz-specs2

Specs2 bindings for Scalaz

Scala

catalysts

Scala

simulacrum-scalafix

Simulacrum as Scalafix rules

Scala

case-insensitive

A case-insensitive string for Scala

Scala

scalaz-outlaws

outcasts no longer allowed in the ivory tower

Scala

bobcats

Typelevel's very own CryptoKitties!

Scala

scalac-options

A library for configuring scalac options

Scala

weaver-test

A test framework that runs everything in parallel.

Scala

ce3.g8

Scala

scalaz-scalatest

Scalatest bindings for scalaz.

Scala

general

Repository for general Typelevel information, activity and issues

discipline-munit

MUnit binding for Typelevel Discipline

Scala

cats-testkit-scalatest

Cats Testkit for Scalatest

Scala

unique

Unique Functional Values for Scala

Scala

discipline-scalatest

ScalaTest binding for Discipline

Scala

typelevel-scalafix

Scalafix rules for Typelevel projects

Scala

semigroups

Scala

cats-effect-shell

Command line debugging console for Cats Effect

Scala

jdk-index

A Jabba compatible index of JDK versions

Scala

cats-uri

URI implementation based on cats-parse with cats instances

Scala

typelevel.g8

A typelevel.g8 based on sbt-typelevel

Scala

catapult

Scala

discipline-specs2

Specs2 Integration for Discipline

Scala

governance

Typelevel governance

Scala

catz-cradle

Testbed for scala libraries and tools, based on examples from cats docs

Scala

spire-contrib

Interoperability libraries for spire

Shell

idna4s

Cross-platform Scala implementation of Internationalized Domain Names in Applications

Scala

scalac-compat

Lightweight tools for tackling Scalac version incompatibilities

Scala

steward

Runs Scala Steward for Typelevel projects

cats-effect-main

sacagawea

Common infrastructure for tracing functional effects

Scala

scalacheck-xml

Scalacheck instances for scala-xml

sorcery

scalacheck-web

sbt-catalysts.g8

feral.g8

Giter8 template for feral serverless

Scala

download-java

toolkit.g8

A Giter8 template for Typelevel Toolkit!

Scala

sbt-tls-crossproject

sbt-crossproject plugin for Typelevel Scala

Scala

await-cirrus

Depend on Cirrus CI from a GitHub Actions workflow

JavaScript

catalysts-docker

Shell

100

.github

a ✨special ✨ repository for project defaults and organization readme

typelevel/spire

typelevel

Reviews

Repository Details

Spire

More Repositories