Search Results for "vs code theme"

The Scala plugin compatible with recent versions of IntelliJ IDEA has built-in support for Scalafmt. Spend more time discussing important issues in code review and less time on code style. Scalafmt formats code so that it looks consistent between people on your team. Run scalafmt from your editor, build tool or terminal. Scalafmt has integrations with IntelliJ, sbt, Maven, Gradle and Mill. Choose the scalafmt formatter and IntelliJ's Reformat Code action will then use Scalafmt when...

Flix is a statically typed programming language combining functional, imperative, and logic paradigms, with first‑class Datalog constraints and a polymorphic effect system. Designed to run on the JVM, Flix enforces purity tracking at compile time, supports algebraic data types, tail‑call elimination, and allows entire Datalog programs as values.

Vale is a systems programming language and compiler that strives to combine performance, safety, and ease in a way that avoids many of the complexities of traditional memory management techniques. It is ahead-of-time (AOT) compiled, targeting LLVM as a backend, and is statically typed. The language introduces a concept called generational references to provide memory safety without relying on a garbage collector, and aims for “safe without a borrow checker” (i.e. reducing the burden on the...

Summingbird is a streaming + batch hybrid computation framework developed by Twitter. Its aim is to let developers express data aggregation pipelines in a unified way, where the same logic can run either in real time (stream) or in batch mode, and the results can be merged or reconciled. In effect, Summingbird abstracts over multiple execution engines (such as Storm, Scalding, etc.) to provide one high-level program that composes transformations and aggregations, and then executes them in...

This repository hosts a major part of The Guardian’s web application stack, historically the Play Framework–based code that serves the newspaper’s content at scale. It orchestrates rendering of articles, live blogs, and interactive pieces while integrating advertising, analytics, identity, and paywall-adjacent features. The codebase coordinates with upstream content APIs, image services, and media platforms to compose pages dynamically with caching and edge-friendly layouts. Operationally,...