Search Results for "scid vs mac"

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...

Spark Job Server offers a RESTful interface for submitting, managing, and running jobs or contexts on Apache Spark. Rather than requiring every application to embed Spark or manage Spark contexts manually, this server abstracts a long-lived service where clients can upload JARs, start and stop contexts, submit jobs synchronously or asynchronously, and manage named objects (RDDs / DataFrames) across job executions. It supports multiple modes (transient jobs, persistent contexts for reuse,...

The riscv-boom project (also called BOOM or SonicBOOM) implements a high-performance, synthesizable out-of-order RISC-V core written in the Chisel hardware construction language. It targets the RV64GC (i.e. 64-bit with general + compressed + floating point) instruction set and supports features such as virtual memory, caches, atomics, and IEEE-754 floating point. The design is parameterizable, meaning users can tune pipeline widths, buffer sizes, functional units, and other...

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...

Diffy is a traffic-shadowing and response-diffing tool that helps you validate a new version of a service against a trusted baseline before a full cutover. It acts as a proxy that fans out real production requests to three backends: the current “primary,” a “candidate” (new build), and a “shadow” baseline, then compares responses to detect behavioral differences. By using live traffic rather than synthetic tests, Diffy surfaces edge cases and data-dependent discrepancies that unit tests...

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,...