Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for scala typelevel
scala
x
typelevel
x
98 search results found
Shapeless
⭐
3,349
Generic programming for Scala
Http4s
⭐
2,482
A minimal, idiomatic Scala interface for HTTP
Doobie
⭐
2,106
Functional JDBC layer for Scala.
Monix
⭐
1,916
Asynchronous, Reactive Programming for Scala and Scala.js.
Refined
⭐
1,664
Refinement types for Scala
Skunk
⭐
1,546
A data access library for Scala + Postgres.
Scala Pet Store
⭐
1,049
An implementation of the java pet store using FP techniques in scala
Frameless
⭐
869
Expressive types for Spark.
Scodec
⭐
801
Scala combinator library for working with binary data
Sharry
⭐
687
Sharry is a self-hosted file sharing web application.
Decline
⭐
621
A composable command-line parser for Scala.
Algebra
⭐
378
Experimental project to lay out basic algebra type classes
Mouse
⭐
346
A small companion to cats
Discipline
⭐
323
Flexible law checking for Scala
Mu Haskell
⭐
311
Mu (μ) is a purely functional framework for building micro services.
Henkan
⭐
267
A small library for converting between case classes.
Awesome Scala
⭐
197
A curated list of awesome Scala frameworks, libraries and software.
Sup
⭐
184
Composable, purely functional healthchecks in Scala.
Paiges
⭐
183
an implementation of Wadler's a prettier printer
Structures
⭐
180
Functional type classes for Scala
Hammock
⭐
178
Purely functional HTTP client
Recursion Scheme Talk
⭐
176
A talk on using recursion schemes in FP.
Typedapi
⭐
163
Build your web API on the type level.
Singleton Ops
⭐
162
Operations for primitive and String singleton types
Interop Cats
⭐
156
ZIO instances for cats-effect type classes
Sbt Typelevel
⭐
148
Let sbt work for you.
Coulomb
⭐
139
coulomb: unit analysis for Scala
Otel4s
⭐
130
An OpenTelemetry library for Scala based on Cats-Effect
Advanced Http4s
⭐
114
🌈 Code samples of advanced features of Http4s in combination with some features of Fs2 not often seen.
Spotted Leopards
⭐
112
Proof of concept for a cats-like library built using Dotty features
Pine
⭐
104
Functional HTML5 and XML library for the Scala platform
Exercises Cats
⭐
103
Scala Exercises' lessons for the Cats library
Core
⭐
99
FP Scala Back-end of the Smart Backpacker App
Twotails
⭐
84
A Scala compiler plugin for mutual tail recursion
Monix Bio
⭐
83
Asynchronous data type with typed errors.
Typelevel Library.g8
⭐
81
Template for starting FP libraries ready to be published
Dilate
⭐
80
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Extruder
⭐
76
Populate Case Classes From Any Data Source
Neutron
⭐
72
🌠 Purely functional Apache Pulsar client for Scala built on top of Fs2
Manatki
⭐
69
scala things
Typelevel Stack.g8
⭐
64
📚 Unofficial Giter8 template for the Typelevel Stack (Http4s / Doobie / Circe / Cats Effect / Fs2) based on Cats v1.x.x
Cats Scalatest
⭐
62
Scalatest binding for Cats
Patchless
⭐
61
Patch data type for Scala and shapeless
Alleycats
⭐
58
Cats instances and classes which are outlaws, miscreants, and ne'er-do-wells.
Brick Store
⭐
57
Typelevel Brickstore
Toolkit
⭐
57
The MPI Bioinformatics Toolkit
Twiddles
⭐
56
Micro-library for building effectful protocols
Sbt Catalysts
⭐
46
sbt utilities for open source projects
Beanpuree
⭐
45
Middle layer between JavaBeans and shapeless
Si2712fix Plugin
⭐
45
Fix for SI-2712 implemented as a compiler plugin for Scala 2.11.8 and 2.10.6
Aiyou
⭐
42
IO types and classes for Scala.
Alphabet Soup
⭐
40
Type calculations at compile time
Template.scala
⭐
38
C++ Flavored Template Metaprogramming in Scala
Scalanews
⭐
36
Scala News - A Community Crowd Sourced newsletter using RSS
Owlet
⭐
35
Typed Spreadsheet UI library for ScalaJS
Shapeless Refined Std
⭐
34
Type-level API for standard collections
Lambda Scala
⭐
32
Type level lambda calculus in Scala
Http4s Modules
⭐
31
Web modules built on Http4s
Bamboomigrate
⭐
31
bamboomigrate is a typelevel transformation and migration library
Sonic
⭐
30
A Scala implementation of hedgehog using the typelevel libraries
Http4s Dom
⭐
26
http4s, in a browser near you
Typelevel Tour
⭐
25
A tour of some Typelevel libraries
Oh Migrations
⭐
23
Data migrations through implicit function composition at the type-level
Category Parametric Talk
⭐
22
Talks on category-parametric programming.
Sbt Org Policies
⭐
22
Just an SBT plugin that enforces some organizational policies and settings across all of your projects
Notes
⭐
19
Programming notes
Discipline Munit
⭐
19
MUnit binding for Typelevel Discipline
Si2712fix Demo
⭐
18
This repository contains a minimal SBT project for experimenting with a fix for SI-2712
Schemes
⭐
18
A recursion schemes micro-library
Lepus
⭐
17
Your principled, purely functional, non-blocking RabbitMQ client for scala, scala js and scala native built on top of fs2
Tgtg
⭐
17
Never miss a TooGoodToGo box again!
Batcher
⭐
17
Batch similar requests together transparently
Scala Functional Programming Tutorial
⭐
16
Functional Programming in Scala Tutorial
Scala Superquants
⭐
16
Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%
Ldbc
⭐
16
ldbc is Pure functional JDBC layer with Cats Effect 3 and Scala 3.
Scalawave Typelevel Workshop
⭐
16
Slides and code from Scalawave 2016 "Introduction to typelevel (meta)programming with Shapeless" workshop
Neo4s
⭐
15
Go to the new repository https://github.com/hackersguildco/neo4s
Typelevel Programming Scala
⭐
15
TypeLevel Programming in Scala
Yausl
⭐
14
Yausl : Yet Another Unit System Library for Scala
Gql
⭐
13
A functional GraphQL implementation for Scala. https://valdemargr.github.io/gql/
Skunk Tables
⭐
13
Type-safe high-level ORM for Postgres
Todo Backend Typelevel
⭐
13
todo-backend implementation using the Typelevel stack
Zhuyu
⭐
12
Typed, Functional Scala SQS Consumer
Circular
⭐
12
Invertible syntax for Scala.
Scala Course
⭐
12
Treelog Scalajs
⭐
10
Gives TreeLog a GUI, the ScalaJS ReactTreeView
Lambda Scala3
⭐
10
Type-level lambda calculus in Scala 3
Scalaxhack 2016
⭐
9
Topic and project suggestions for ScalaxHack 2016.
Dense
⭐
8
A Type-Level Encoding of Natural Numbers as a Linked List of Bits
Strava Summary
⭐
8
Catharsis
⭐
6
Utilities for cats-effect that don't really fit in the upstream.
Weather4s
⭐
5
A Scala-only (backend & frontend) Web Application in Tagless-Final style focused on the Typelevel stack (cats, doobie, fs2, http4s, ...)
Iolog4s
⭐
5
Pure logging library for cats-effect
Advent Of Code Typelevel
⭐
5
Working through the Advent of Code with the Typelevel Stack
Tl Summit Philly 2019
⭐
5
Typequest
⭐
5
Typelevel Summit 2016 - Discovering Types from Strings
Http4s Servlet
⭐
5
http4s-servlet support
Basalt Engine
⭐
5
⚙️ An open-source ECS engine built from ground up in Scala 3
Scala Cats
⭐
5
Cats extended
Discogs4s
⭐
5
Discogs API client
Related Searches
Scala Sbt (4,178)
Scala Spark (3,283)
Scala Akka (2,110)
Java Scala (1,794)
Scala Play Framework (1,309)
Plugin Scala (1,107)
Scala Kafka (969)
Scala Functional Programming (938)
Scala Scalajs (887)
Scala Apache (705)
1-98 of 98 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.