kellydavid

kellydavid's Stars

• pi-hole/pi-hole

  A black hole for Internet advertisements

  Language:Shell49.7k7082.9k2.7k

• thibmaek/awesome-raspberry-pi

  📝 A curated list of awesome Raspberry Pi tools, projects, images and resources

  Language:Shell13.8k467291k

• Effect-TS/effect

  An ecosystem of tools to build robust applications in TypeScript

  Language:TypeScript8k25717260

• pivpn/pivpn

  The Simplest VPN installer, designed for Raspberry Pi

  Language:Shell7.3k1341.3k646

• dhall-lang/dhall-lang

  Maintainable configuration files

  Language:Dhall4.2k61534177

• tvheadend/tvheadend

  Tvheadend is the leading TV streaming server for Linux with ATSC, DVB-C/C2, DVB-S/S2, DVB-T/T2, IPTV, SAT>IP and unix pipe input sources

  Language:C2.9k23879921

• scalameta/metals

  Scala language server with rich IDE features 🚀

  Language:Scala2.1k482k338

• typelevel/scalacheck

  Property-based testing for Scala

  Language:Scala1.9k57345407

• optics-dev/Monocle

  Optics library for Scala

  Language:Scala1.7k54384206

• softwaremill/tapir

  Rapid development of self-documenting APIs

  Language:Scala1.4k46892422

• softwaremill/magnolia

  Easy, fast, transparent generic derivation of typeclass instances

  Language:Scala77346205118

• gvolpe/pfps-shopping-cart

  :shopping_cart: The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

  Language:Scala5361817167

• suzaku-io/boopickle

  Binary serialization library for efficient network communication

  Language:Scala365159541

• scanamo/scanamo

  Simpler DynamoDB access for Scala

  Language:Scala32034206125

• sbt/sbt-ci-release

  sbt plugin to automate Sonatype releases from GitHub Actions

  Language:Scala289107976

• mschuwalow/zio-todo-backend

  Todo-Backend (https://www.todobackend.com/) implementation using ZIO, http4s, doobie and circe

  Language:Scala25571049

• jdegoes/functional-design

  Exercises for the course 'Functional Design by John A. De Goes

  Language:Scala235222100

• zio/zio-intellij

  A companion IntelliJ IDEA plugin for the ZIO library ecosystem.

  Language:Scala2141131141

• aparo/awesome-zio

  A big collection of useful ZIO links

  Language:Python1371309

• zio/zio-telemetry

  ZIO-powered OpenTelemetry library

  Language:Scala114106757

• pandaforme/ultron.g8

  A ZIO + http4s + Circe + Quill + Tapir giter8 template

  Language:Scala1089212

• spartanz/parserz

  A purely-functional library for creating both parsers, pretty-printers, and grammar definitions from a single, type-safe specification of a grammar

  Language:Scala7019247

• manatki/volga

  Comprehensions for Arrows and Monoidal categories

  Language:Scala61536

• zio/zio-analytics

  Distributed stream processing using ZIO

  Language:Scala612724

• zio/zio-metrics-legacy

  ⛔️ DEPRECATED

  Language:Scala56122539

• zio/zio-s3

  An S3 client for ZIO

  Language:Scala4573231

• svroonland/zio-kinesis

  ZIO-based AWS Kinesis client for Scala

  Language:Scala384749

• adamgfraser/solving-the-dependency-injection-problem-with-zio

  34304

• PlayQ/d4s

  Dynamo DB Database Done Scala-way

  Language:Scala298166

• iravid/zio-workshop

  Language:Scala5201