ShiftLeftSecurity / codepropertygraph

Specification and Scala tooling for the Code Property Graph, a language-agnostic representation of program code for analysis.

scala / scala3

The Scala 3 compiler, standard library, and language specification, also known as Dotty.

typelevel / cats-effect

The pure asynchronous runtime for Scala

softwaremill / sttp

The Scala HTTP client you always wanted!

broadinstitute / cromwell

Scientific workflow engine designed for simplicity & scalability. Trivially transition between one off use cases to massive scale production environments

Yubico / java-webauthn-server

Server-side Web Authentication library for Java https://www.w3.org/TR/webauthn/#rp-operations

build-server-protocol / build-server-protocol

Protocol for IDEs and build tools to communicate about compile, run, test, debug and more.

typelevel / cats

Lightweight, modular, and extensible library for functional programming.

JohnSnowLabs / spark-nlp

State of the Art Natural Language Processing

http4s / http4s

A minimal, idiomatic Scala interface for HTTP

monix / monix

Asynchronous, Reactive Programming for Scala and Scala.js.

optics-dev / Monocle

Optics library for Scala

typelevel / skunk

A data access library for Scala + Postgres.

apache / pekko

Build highly concurrent, distributed, and resilient message-driven applications using Java/Scala

locationtech / geomesa

GeoMesa is a suite of tools for working with big geo-spatial data in a distributed fashion.

locationtech / geotrellis

GeoTrellis is a geographic data processing engine for high performance applications.

airbnb / chronon

Chronon is a data platform for serving for AI/ML applications.

sscarduzio / elasticsearch-readonlyrest-plugin

Free Elasticsearch security plugin and Kibana security plugin: super-easy Kibana multi-tenancy, Encryption, Authentication, Authorization, Auditing

etorreborre / specs2

Software Specifications for Scala

7mind / izumi

Productivity-oriented collection of lightweight fancy stuff for Scala toolchain

apalache-mc / apalache

APALACHE: symbolic model checker for TLA+ and Quint

atnos-org / eff

Eff monad for cats - https://atnos-org.github.io/eff

gvolpe / pfps-shopping-cart

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

UdashFramework / udash-core

Scala framework for building beautiful and maintainable web applications.

gvolpe / trading

💱 Trading application written in Scala 3 that showcases an Event-Driven Architecture (EDA) and Functional Programming (FP)