forked from typelevel/typelevel.github.com
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathprojects.yml
More file actions
402 lines (401 loc) · 17.3 KB
/
Copy pathprojects.yml
File metadata and controls
402 lines (401 loc) · 17.3 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
- title: "argonaut-shapeless"
description: "Automatic derivation for argonaut"
github: "https://github.com/alexarchambault/argonaut-shapeless"
affiliate: true
platforms: [jvm]
- title: "banana-rdf"
description: "RDF, SPARQL and Linked Data technologies"
github: "https://github.com/banana-rdf/banana-rdf"
affiliate: true
platforms: [js, jvm]
- title: "calico"
description: "Pure, reactive UI library for building web applications with Cats Effect + FS2"
github: "https://github.com/armanbilge/calico"
permalink: "https://armanbilge.github.io/calico"
affiliate: true
platforms: [js]
- title: "cats-actors"
description: "An Actor Model implementation built on top of Cats-Effect, providing a higher-level abstraction for managing concurrency."
github: "https://github.com/suprnation/cats-actors"
platforms: [jvm]
- title: "case-insensitive"
description: "A case-insensitive string for Scala"
github: "https://github.com/typelevel/case-insensitive"
platforms: [js, jvm, native]
- title: "catapult"
description: "A thin wrapper for the Launch Darkly Java server SDK using cats-effect and fs2"
github: "https://github.com/typelevel/catapult"
platforms: [jvm]
- title: "catbird"
description: "Cats instances for various Twitter Open Source Scala projects"
github: "https://github.com/typelevel/catbird"
platforms: [jvm]
- title: "Cats"
description: "A library intended to provide abstractions for functional programming in Scala, leveraging its unique features. Design goals are approachability, modularity, documentation and efficiency."
permalink: "https://typelevel.org/cats/"
github: "https://github.com/typelevel/cats"
platforms: [js, jvm, native]
- title: "Cats Collections"
description: "Data structures that facilitate pure functional programming with cats"
github: "https://github.com/typelevel/cats-collections"
platforms: [js, jvm, native]
- title: Cats-Effect
description: "The IO Monad for Scala, plus type classes for general effect types."
github: "https://github.com/typelevel/cats-effect/"
platforms: [js, jvm, native]
- title: "Cats MTL"
description: "Monad transformers made easy"
github: "https://github.com/typelevel/cats-mtl/"
platforms: [js, jvm, native]
- title: "cats-parse"
description: "A parsing library for the cats ecosystem"
github: "https://github.com/typelevel/cats-parse"
platforms: [js, jvm, native]
- title: "cats-scalatest"
description: "Scalatest bindings for Cats."
github: "https://github.com/IronCoreLabs/cats-scalatest"
affiliate: true
platforms: [js, jvm]
- title: "cats-stm"
description: "A STM implementation for Cats Effect"
github: "https://github.com/TimWSpence/cats-stm"
affiliate: true
platforms: [js, jvm, native]
- title: "Cats Tagless"
description: "A library of utilities for tagless final algebras"
github: "https://github.com/typelevel/cats-tagless/"
platforms: [js, jvm, native]
- title: "Cats-Time"
description: "Instances for Cats Typeclasses for Java 8 Time"
github: "https://github.com/typelevel/cats-time/"
platforms: [js, jvm, native]
- title: "Circe"
description: "Yet another JSON library for Scala"
github: "https://github.com/circe/circe"
affiliate: true
platforms: [js, jvm, native]
- title: "Ciris"
description: "Functional Configurations for Scala"
github: "https://github.com/vlovgr/ciris"
affiliate: true
platforms: [js, jvm, native]
- title: "coulomb"
description: "A statically typed unit analysis library for Scala"
github: "https://github.com/erikerlandson/coulomb"
affiliate: true
platforms: [js, jvm, native]
- title: "cron4s"
description: "Cross-platform CRON expression parsing for Scala"
github: "https://github.com/alonsodomin/cron4s"
affiliate: true
platforms: [js, jvm]
- title: "decline"
description: "A composable command-line parser for Scala."
github: "https://github.com/bkirwi/decline"
affiliate: true
platforms: [js, jvm, native]
- title: "discipline"
description: "Originally intended for internal use in spire, this library helps libraries declaring type classes to precisely state the laws which instances need to satisfy, and takes care of not checking derived laws multiple times."
github: "https://github.com/typelevel/discipline"
platforms: [js, jvm, native]
- title: "doobie"
description: "A pure functional JDBC layer for Scala. It is not an ORM, nor is it a relational algebra; it just provides a principled way to construct programs (and higher-level libraries) that use JDBC."
github: "https://github.com/tpolecat/doobie"
affiliate: true
platforms: [jvm]
- title: "edomata"
description: "Event-driven automata for Scala, Scala.js and scala native. This library provides purely functional state machines that can be used to create event sourced and/or CQRS style applications. It also includes production ready backends."
github: "https://github.com/hnaderi/edomata"
permalink: "https://edomata.ir/"
affiliate: true
platforms: [js, jvm, native]
- title: "eff"
description: "Extensible effects are an alternative to monad transformers for computing with effects in a functional way. This library is based on the “free-er” monad and an “open union” of effects described by Oleg Kiselyov in “Freer monads, more extensible effects”"
permalink: "http://atnos-org.github.io/eff"
github: "https://github.com/atnos-org/eff"
affiliate: true
platforms: [js, jvm, native]
- title: "endless4s"
description: "Sharded and event-sourced entities using tagless-final algebras"
permalink: "https://endless4s.github.io/"
github: "https://github.com/endless4s/endless"
affiliate: true
platforms: [jvm]
- title: "Extruder"
description: "Populate case classes from any configuration source"
github: "https://github.com/janstenpickle/extruder"
affiliate: true
platforms: [jvm]
- title: "fabric"
description: "Object-Notation Abstraction for JSON, binary, HOCON, etc."
github: "https://github.com/typelevel/fabric"
platforms: [js, jvm, native]
- title: "Feral"
description: "Feral cats are homeless, feral functions are serverless"
github: "https://github.com/typelevel/feral"
platforms: [js, jvm]
- title: "ff4s"
description: "A purely functional web frontend framework for Scala.js."
github: "https://github.com/buntec/ff4s"
affiliate: true
platforms: [js]
- title: "Fetch"
description: "Library built on top of Cats that provides efficient data access from heterogeneous dataurces"
github: "https://github.com/47deg/fetch"
affiliate: true
platforms: [js, jvm]
- title: "Finch"
description: "Purely functional basic blocks atop of Finagle for building composable HTTP APIs"
github: "https://github.com/finagle/finch"
affiliate: true
platforms: [jvm]
- title: "Frameless"
description: "Frameless is a library for working with Spark using more expressive types."
github: "https://github.com/typelevel/frameless"
platforms: [jvm]
- title: "fs2-aes"
description: "Micro library providing AES encryption/decryption of fs2.Stream[F, Byte]."
github: "https://github.com/jwojnowski/fs2-aes"
affiliate: true
platforms: [jvm]
- title: "fs2-compress"
description: "Compression Algorithms for Fs2 "
github: "https://github.com/lhns/fs2-compress"
affiliate: true
platforms: [jvm]
- title: "fs2-data"
description: "Parse and transform data (CBOR, CSV, JSON, XML) in a streaming manner"
github: "https://github.com/gnieh/fs2-data"
affiliate: true
platforms: [js, jvm, native]
- title: "fs2-dom"
description: "Idiomatic Cats Effect + FS2 integrations for Web APIs"
github: "https://github.com/armanbilge/fs2-dom"
affiliate: true
platforms: [js]
- title: "fs2-grpc"
description: "gRPC implementation for FS2/cats-effect"
github: "https://github.com/typelevel/fs2-grpc"
platforms: [jvm]
- title: "fs2"
description: "FS2 is a library for purely functional, effectful, and polymorphic stream processing library in the Scala programming language. Its design goals are compositionality, expressiveness, resource safety, and speed. The name is a modified acronym for Functional Streams for Scala (FSS, or FS2)."
github: "https://github.com/typelevel/fs2"
platforms: [js, jvm, native]
- title: "Grackle"
description: "Functional GraphQL server for the Typelevel stack"
github: "https://github.com/typelevel/grackle"
platforms: [js, jvm, native]
- title: "Hammock"
description: "Purely functional HTTP client"
github: "https://github.com/pepegar/hammock"
affiliate: true
platforms: [jvm]
- title: "http4s"
description: "A typeful, purely functional HTTP library for client and server applications"
github: "https://github.com/http4s/http4s"
affiliate: true
platforms: [js, jvm, native]
- title: "imp"
description: "Summoning implicit values"
github: "https://github.com/non/imp"
affiliate: true
platforms: [js, jvm]
- title: "jawn-fs2"
description: "Integration of jawn and fs2 for streaming, incremental JSON parsing"
github: "https://github.com/typelevel/jawn-fs2"
platforms: [js, jvm, native]
- title: "keypool"
description: "A Keyed Pool Implementation for Scala"
github: "https://github.com/typelevel/keypool"
platforms: [js, jvm, native]
- title: "kind-projector"
description: "Plugin for nicer type-lambda syntax"
github: "https://github.com/typelevel/kind-projector"
platforms: [jvm]
- title: "Kittens"
description: "Automatic type class derivation"
github: "https://github.com/typelevel/kittens"
platforms: [js, jvm, native]
- title: "Laika"
description: "Site and e-book generator and customizable text markup transformer for sbt, Scala and Scala.js"
github: "https://github.com/typelevel/Laika"
platforms: [js, jvm]
- title: "LDBC"
description: "Pure functional JDBC layer with Cats Effect 3 and Scala 3"
github: "https://github.com/takapi327/ldbc"
affiliate: true
platforms: [jvm]
- title: "Lepus"
description: "Purely functional, non-blocking RabbitMQ client for scala, scala js and scala native built on top of fs2."
github: "https://github.com/hnaderi/lepus"
permalink: "https://lepus.hnaderi.dev/"
affiliate: true
platforms: [js, jvm, native]
- title: "Libra"
description: "Compile time dimensional analysis for any problem domain"
github: "https://github.com/to-ithaca/libra"
affiliate: true
platforms: [js, jvm]
- title: "literally"
description: "Compile time validation of literal values built from strings"
github: "https://github.com/typelevel/literally"
platforms: [js, jvm, native]
- title: "log4cats"
description: "Logging Tools For Interaction with cats-effect"
github: "https://github.com/typelevel/log4cats"
platforms: [js, jvm, native]
- title: "Monix"
description: "High-performance library for composing asynchronous, event-based programs, exposing a Reactive Streams implementation along with primitives for dealing with concurrency and side-effects."
github: "https://github.com/monix/monix"
permalink: "https://monix.io"
affiliate: true
platforms: [js, jvm]
- title: "Monocle"
description: "Optics library offering a simple yet powerful API to access and transform immutable data"
github: "https://github.com/optics-dev/Monocle"
affiliate: true
platforms: [js, jvm, native]
- title: "Mouse"
description: "Enrichments to standard library classes to ease functional programming"
github: "https://github.com/typelevel/mouse/"
platforms: [js, jvm, native]
- title: "Natchez"
description: "functional tracing for cats "
github: "https://github.com/typelevel/natchez"
platforms: [js, jvm, native]
- title: "otel4s"
description: "An OpenTelemetry library based on cats-effect"
github: "https://github.com/typelevel/otel4s"
platforms: [js, jvm, native]
- title: "Outwatch"
description: "The Functional and Reactive Web-Frontend Library for Scala.js"
github: "https://github.com/outwatch/outwatch"
affiliate: true
platforms: [js]
- title: "parsley-cats"
description: "The parsley-cats library exposes Cats instances for Parsley parsing library."
github: "https://github.com/j-mie6/parsley-cats"
affiliate: true
platforms: [js, jvm, native]
- title: "Peloton"
description: "An actor library for Cats Effect"
github: "https://github.com/killaitis/peloton"
affiliate: true
platforms: [jvm]
- title: "perspective"
description: "Provides tools for generic programming, and typeclasses for monad transformers and higher kinded data."
github: "https://github.com/Katrix/perspective"
affiliate: true
platforms: [js, jvm]
- title: "PureConfig"
description: "A boilerplate-free library for loading configuration files"
github: "https://github.com/pureconfig/pureconfig"
affiliate: true
platforms: [jvm]
- title: "refined"
description: "Tools for refining types with type-level predicates which constrain the set of values described by the refined type, for example restricting to positive or negative numbers."
github: "https://github.com/fthomas/refined"
affiliate: true
platforms: [js, jvm, native]
- title: "ScalaCheck"
description: "ScalaCheck is a library for automated property-based testing. It contains generators for randomized test data and combinators for properties."
github: "https://github.com/typelevel/scalacheck"
permalink: "http://scalacheck.org/"
platforms: [js, jvm, native]
- title: "scalacheck-shapeless"
description: "Automatic derivation for ScalaCheck"
github: "https://github.com/alexarchambault/scalacheck-shapeless"
affiliate: true
platforms: [js, jvm, native]
- title: "Scala Exercises"
description: "Platform and framework for Scala devs to learn about Scala libraries"
github: "https://github.com/scala-exercises/scala-exercises"
affiliate: true
platforms: [js, jvm]
- title: "scala-steward"
description: "A robot that helps keeping Scala projects up-to-date"
github: "https://github.com/fthomas/scala-steward"
affiliate: true
platforms: [jvm]
- title: "scodec"
description: "scodec is a combinator library for working with binary data. It focuses on contract-first and pure functional encoding and decoding of binary data and provides integration with shapeless."
github: "https://github.com/scodec/scodec"
affiliate: true
platforms: [js, jvm, native]
- title: "Scoverage"
description: "Code coverage tool for Scala"
github: "https://github.com/scoverage/scalac-scoverage-plugin"
affiliate: true
platforms: [js, jvm, native]
- title: "Shapeless"
description: "Shapeless is a generic programming library. Starting with implementations of Scrap your boilerplate and higher rank polymorphism in Scala, it quickly grew to provide advanced abstract tools like heterogenous lists and automatic instance derivation for type classes."
github: "https://github.com/milessabin/shapeless"
affiliate: true
platforms: [js, jvm, native]
- title: "simulacrum"
description: "First-class syntax for type classes"
github: "https://github.com/typelevel/simulacrum"
platforms: [js, jvm, native]
- title: "Simulacrum Scalafix"
description: "Simulacrum as Scalafix rules"
github: "https://github.com/typelevel/simulacrum-scalafix"
platforms: [js, jvm]
- title: "singleton-ops"
description: "Operations for primitive and String singleton types"
github: "https://github.com/fthomas/singleton-ops"
affiliate: true
platforms: [js, jvm]
- title: "Skunk"
description: "A data access library for Scala + Postgres"
github: "https://github.com/typelevel/skunk"
platforms: [js, jvm, native]
- title: "sonic"
description: "Property-based testing with integrated shrinking"
github: "https://github.com/melrief/sonic"
affiliate: true
platforms: [jvm]
- title: "specs2"
description: "specs2 is a library for writing executable software specifications, aiming for conciseness, readability and extensibility."
github: "https://github.com/etorreborre/specs2"
permalink: "http://specs2.org/"
affiliate: true
platforms: [js, jvm, native]
- title: "spire"
description: "Spire is a numeric library for Scala which is intended to be generic, fast, and precise. Using features such as specialization, macros, type classes, and implicits, Spire works hard to defy conventional wisdom around performance and precision trade-offs."
github: "https://github.com/typelevel/spire"
platforms: [js, jvm, native]
- title: "Squants"
description: "The Scala API for Quantities, Units of Measure and Dimensional Analysis"
github: "https://github.com/typelevel/squants"
platforms: [js, jvm, native]
- title: "Twiddles"
description: "Micro-library for building effectful protocols"
github: "https://github.com/typelevel/twiddles"
platforms: [js, jvm, native]
- title: "TwoTails"
description: "A compiler plugin adding support for mutual tail recursion"
github: "https://github.com/wheaties/TwoTails"
affiliate: true
platforms: [jvm]
- title: "typelevel.g8"
description: "A Giter8 template for sbt-typelevel"
github: "https://github.com/typelevel/typelevel.g8"
platforms: [js, jvm]
- title: "typelevel-nix"
description: "Development tools for Typelevel projects"
github: "https://github.com/typelevel/typelevel-nix"
platforms: [js, jvm, native]
- title: "uniform-scala"
description: "Functional user journeys"
github: "https://github.com/ltbs/uniform-scala"
affiliate: true
platforms: [js, jvm]
- title: "upperbound"
description: "A purely functional, interval based rate limiter"
github: "https://github.com/SystemFw/upperbound"
affiliate: true
platforms: [js, jvm, native]
- title: "vault"
description: "Type-safe, persistent storage for values of arbitrary types"
github: "https://github.com/typelevel/vault"
platforms: [js, jvm, native]