Showing 106 open source projects for "mac software"

View related business solutions
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New customers can spin up VMs, build with AI, and query data at no cost.

    Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
    Start Free
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • 1
    Scala Steward

    Scala Steward

    A bot that helps you keep your projects up-to-date

    Scala Steward is an automated tool that helps to keep Scala libraries and plugins up to date by checking for dependency updates and sending pull requests.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 2
    Metals

    Metals

    Scala language server with rich IDE features

    Scala language server with rich IDE features.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 3
    scalajs-react

    scalajs-react

    Facebook's React on Scala.JS

    Scala.js React wraps Facebook React for Scala.js with a strong emphasis on type safety and functional idioms. It provides a typed virtual DOM interface, reusable components, hooks, and utilities for routing, testing, SSR, and performance profiling, all aligned with Cats, Cats Effect, and Monocle ecosystems.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 4
    Skunk

    Skunk

    A data access library for Scala + Postgres

    Skunk is a Postgres library for Scala. Skunk is powered by cats, cats-effect, scodec, and fs2. Skunk is purely functional, non-blocking, and provides a tagless-final API. Skunk gives very good error messages. Skunk embraces the Scala Code of Conduct. Skunk is pre-release software! Code and documentation are under active development! Skunk is published for Scala 2.12/2.13/3.1 and can be included in your project.Query and Command types are usually inferrable, but specifying a type ensures that...
    Downloads: 2 This Week
    Last Update:
    See Project
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
    Get Started Free
  • 5
    ZIO

    ZIO

    A type-safe, composable library for async and concurrent programming

    ZIO is a purely functional, type-safe Scala library that provides an Effect (ZIO[R,E,A]) abstraction for asynchronous, concurrent programming. It offers resource safety, fiber-based concurrency, strong error handling, and deterministic testing—all with zero external dependencies. Ideal for building scalable backend systems with compositional architecture.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 6
    Flix

    Flix

    The Flix Programming Language

    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.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 7
    Akka

    Akka

    Build concurrent, distributed, and resilient message-driven apps

    Build powerful reactive, concurrent, and distributed applications more easily. Akka is a toolkit for building highly concurrent, distributed, and resilient message-driven applications for Java and Scala. Actors and Streams let you build systems that scale up, using the resources of a server more efficiently, and out, using multiple servers. Building on the principles of The Reactive Manifesto Akka allows you to write systems that self-heal and stay responsive in the face of failures. Up to...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 8
    Monix

    Monix

    Asynchronous, Reactive Programming for Scala and Scala.js

    Monix is a high-performance, reactive, and asynchronous programming library for Scala and Scala.js. Built as a Typelevel project, it provides advanced abstractions like Task, Observable, Iterant, and Coeval, enabling compositional, back-pressure‑aware event-driven systems that integrate cleanly with Cats Effect and Reactive Streams.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 9
    GitBucket

    GitBucket

    A Git platform powered by Scala

    A Git platform powered by Scala with easy installation, high extensibility & GitHub API compatibility. GitBucket is a Git web platform powered by Scala offering, easy installation, intuitive UI, high extensibility by plugins, API compatibility with GitHub. You can also deploy gitbucket.war to a servlet container which supports Servlet 3.0 (like Jetty, Tomcat, JBoss, etc). To upgrade GitBucket, replace gitbucket.war with the new version, after stopping GitBucket. All GitBucket data is stored...
    Downloads: 2 This Week
    Last Update:
    See Project
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Try Free
  • 10
    Apache Spark

    Apache Spark

    A unified analytics engine for large-scale data processing

    Apache Spark is a unified engine for large-scale data processing, offering APIs for batch jobs, streaming, machine learning, and graph computation. It builds on resilient distributed datasets (RDDs) and the newer DataFrame/Dataset abstractions to provide fault-tolerant, in-memory computation across clusters. Spark’s execution engine handles scheduling, shuffles, caching, and data locality so users can focus on transformations rather than infrastructure plumbing. With Spark Streaming...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 11
    Play Framework

    Play Framework

    A high velocity web framework

    Play Framework makes it easy to build web applications with Java & Scala. The Play Framework combines productivity and performance making it easy to build scalable web applications with Java and Scala. Play is developer friendly with a "just hit refresh" workflow and built-in testing support. With Play, applications scale predictably due to a stateless and non-blocking architecture. By being RESTful by default, including assets compilers, JSON & WebSocket support, Play is a perfect fit for...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 12
    ScalaCheck

    ScalaCheck

    Property-based testing for Scala

    ScalaCheck is a library for property-based testing in Scala (and Java), inspired by Haskell’s QuickCheck. It automatically generates test inputs based on specifications, validating that properties hold across randomized scenarios, thereby enabling robust, declarative testing of edge cases and invariants.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    sbt

    sbt

    sbt, the interactive build tool

    Define your tasks in Scala. Run them in parallel from sbt's interactive shell. sbt is built for Scala and Java projects. It is the build tool of choice for 93.6% of the Scala developers (2019). One of the examples of a Scala-specific feature is the ability to cross-build your project against multiple Scala versions. build.sbt is a Scala-based DSL to express parallel processing task graph. Typos in build.sbt will be caught as a compilation error. With Zinc incremental compiler and file watch...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 14
    Scala Native

    Scala Native

    Your favorite language gets closer to bare metal

    Scala Native is an optimizing ahead-of-time compiler and lightweight managed runtime designed specifically for Scala. Pointers, structs, you name it. Low-level primitives let you hand-tune your application to make it work exactly as you want it to. You’re in control. Calling C code has never been easier. With the help of extern objects you can seamlessly call native code without any runtime overhead. Scala Native is compiled ahead of time via LLVM. This means that there is no sluggish...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 15
    Chipyard

    Chipyard

    An Agile RISC-V SoC Design Framework with in-order cores

    Chipyard is a framework and generator for constructing custom RISC‑V SoC hardware. Built at UC Berkeley, it leverages Chisel/FIRRTL to generate full-stack systems—from CPU cores to peripherals—and includes simulators, FPGA deployment tools, and integration with Rocket Chip and other RISC‑V ecosystems.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 16
    Chimney

    Chimney

    Scala library for boilerplate-free, type-safe data transformations

    Chimney is a Scala library that facilitates boilerplate-free, type-safe data transformations between different data types. It enables developers to define mappings between source and target types, ensuring that transformations are checked at compile time, thereby reducing runtime errors and enhancing code reliability.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 17
    tapir

    tapir

    Declarative, type-safe web endpoints library

    Declarative, type-safe web endpoints library. With tapir, you can describe HTTP API endpoints as immutable Scala values. Each endpoint can contain a number of input and output parameters. Compile-time guarantees, develop-time completions, read-time information. Separate the shape of the endpoint (the "what"), from the server logic (the "how"). Generate documentation from endpoint descriptions. Leverage the metadata to report rich metrics and tracing information. Re-use common endpoint...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 18
    Scala 3

    Scala 3

    The Scala 3 compiler, also known as Dotty

    Scala 3 is the latest major release of the Scala language—featuring a complete compiler rewrite (Dotty), new syntax with optional braces and given/using contextual abstractions, union/intersection types, opaque types, first-class enums, and better type inference. It unifies object-oriented and functional programming paradigms into a safer, more expressive language running on the JVM with full Java interoperability.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 19
    Scala 2

    Scala 2

    Scala 2 compiler and standard library

    Scala combines object-oriented and functional programming in one concise, high-level language. Scala's static types help avoid bugs in complex applications, and its JVM and JavaScript runtimes let you build high-performance systems with easy access to huge ecosystems of libraries. Scastie is Scala + sbt in your browser! You can use any version of Scala, or even alternate backends such as Dotty, Scala.js, Scala Native, and Typelevel Scala. You can use any published library. You can save and...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 20
    Caliban

    Caliban

    Functional GraphQL library for Scala

    Caliban is a purely functional library for building GraphQL servers and clients in Scala. The design principles behind the library are the following. Minimal amount of boilerplate: no need to manually define a schema for every type in your API. Pure interface: errors and effects are returned explicitly (no exceptions thrown), all returned types are referentially transparent (no Future). Clean separation between schema definition and implementation: schema is defined and validated at compile...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 21
    Gatling

    Gatling

    Modern Load Testing as Code

    Gatling is a high-performance load testing tool built on the JVM that emphasizes realism, scalability, and developer ergonomics. Test scenarios are scripted in a concise Scala-based DSL, allowing you to model user journeys with think times, feeders (dynamic data), checks, and assertions all in code. Its asynchronous, non-blocking engine (backed by Netty) can drive very high concurrency from a single injector, reducing the need for large injector farms. Gatling supports HTTP out of the box as...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 22
    Refined

    Refined

    Refinement types for Scala

    Refined is a Scala library that enhances types with compile-time constraints using predicate-style refinement types. It allows embedding validation logic into types like Refined[Int, Positive], ensuring invalid values are rejected at compile or runtime, thereby increasing safety and reducing boilerplate in domain modeling.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    SpinalHDL

    SpinalHDL

    Scala based HDL

    SpinalHDL is a hardware description (HDL) framework embedded in Scala, enabling hardware designers to build digital circuits with modern programming abstractions. Instead of writing in Verilog or VHDL directly, users describe hardware components and their interconnects using Scala code and Spinal’s domain-specific library, which then emits synthesizable hardware (e.g. as Verilog). Because SpinalHDL is embedded in Scala, it allows reuse of functional abstractions, parameterization, modular...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 24
    Scalatra

    Scalatra

    Tiny Scala high-performance, async web framework

    Scalatra is a lightweight, high-performance micro web framework written in Scala, inspired by the Ruby framework Sinatra. Its goal is to provide a minimal but expressive foundation for building web applications or REST APIs in Scala without the verbosity or steep learning curve of larger frameworks. It supports asynchronous request handling, routing, filters, content negotiation, and easy integration with templating, JSON libraries, and other web middleware. Being unopinionated, it lets...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 25
    Kamon Telemetry

    Kamon Telemetry

    Distributed Tracing, Metrics and Context Propagation for applications

    Kamon Telemetry is a set of libraries for instrumenting applications running on the JVM. With Kamon Telemetry you can collect metrics, propagate context across threads and services, and get distributed traces automatically. The best way to get started is by following our installation guides and taking it from there. Have fun with Kamon. Monitor your backend applications, fix performance issues, and get alerted when problems happen. All without being a monitoring expert. Everybody starts...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • 5
  • Next