joernio / joern

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

ucb-bar / chipyard

An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more

twitter / finagle

A fault tolerant, protocol-agnostic RPC system

awslabs / deequ

Deequ is a library built on top of Apache Spark for defining "unit tests for data", which measure data quality in large datasets.

lampepfl / atc

A Safe Agent With Tracked Capabilities

playframework / playframework

The Community Maintained High Velocity Web Framework For Java and Scala.

scalacenter / bloop

Bloop is a build server and CLI tool to compile, test and run Scala fast from any editor or build tool.

softwaremill / quicklens

Modify deeply nested case class fields

raquo / Laminar

Simple, expressive, and safe UI library for Scala.js

build-server-protocol / build-server-protocol

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

akka / akka-core

A platform to build and run apps that are elastic, agile, and resilient. SDK, libraries, and hosted environments.

delta-io / delta

An open-source storage framework that enables building a Lakehouse architecture with compute engines including Spark, PrestoDB, Flink, Trino, and Hive and APIs

sbt / sbt

sbt, the interactive build tool

http4s / http4s

A minimal, idiomatic Scala interface for HTTP

zio / zio-quill

Compile-time Language Integrated Queries for Scala

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.

zio / zio-http

A next-generation Scala framework for building scalable, correct, and efficient HTTP clients and servers

TouK / nussknacker

Low-code tool for automating actions on real time data | Stream processing for the users.

ruippeixotog / scala-scraper

A Scala library for scraping content from HTML pages

wvlet / airframe

Essential Building Blocks for Scala

apalache-mc / apalache

APALACHE: symbolic model checker for TLA+ and Quint

sbt / sbt-buildinfo

I know this because build.sbt knows this.

outr / scribe

The fastest logging library in the world. Built from scratch in Scala and programmatically configurable.

UdashFramework / udash-core

Scala framework for building beautiful and maintainable web applications.

com-lihaoyi / mill

A better build tool for Java, Scala and Kotlin: Simpler than Maven, easier than Gradle, with 3-7x faster dev workflows than other JVM build tools

orbeon / orbeon-forms

Orbeon Forms - Build, run, and manage web forms on-premises or in the cloud.

guardian / frontend

The Guardian DotCom.

apicollective / apibuilder

Simple, Comprehensive Tooling for Modern APIs