Search Results for "mac security software"
Sort By:
Showing 114 open source projects for "mac security software"
View related business solutions-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
Forever Free Full-Stack Observability | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
1
ZIO JSON
Fast, secure JSON library with tight ZIO integration
ZIO Json is a fast and secure JSON library with tight ZIO integration. The goal of this project is to create the best all-round JSON library for Scala. Extreme performance is achieved by decoding JSON directly from the input source into business objects (docs/inspired by plokhotnyuk). Although not a requirement, the latest advances in Java Loom can be used to support arbitrarily large payloads with near-zero overhead. Best-in-class security is achieved with an aggressive early exit strategy... -
2
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. -
3
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. -
4
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... -
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
5
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. -
6
Monocle
Optics library for Scala
Monocle is a pure functional, optics library for Scala providing immutable data access and transformation tools — including Lens, Prism, Iso, Optional, and Traversal. It enables composable, declarative modifications of deeply nested immutable structures in a concise and type-safe fashion. -
7
Metals
Scala language server with rich IDE features
Scala language server with rich IDE features. -
8
Apache Kyuubi
Apache Kyuubi is a distributed and multi-tenant gateway
Apache Kyuubi™ is a distributed and multi-tenant gateway to provide serverless SQL on data warehouses and lakehouses. Kyuubi provides a pure SQL gateway through Thrift JDBC/ODBC interface for end-users to manipulate large-scale data with pre-programmed and extensible Spark SQL engines. This "out-of-the-box" model minimizes the barriers and costs for end-users to use Spark at the client side. At the server-side, Kyuubi server and engines' multi-tenant architecture provides the administrators... -
9
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... -
MongoDB Atlas runs apps anywhereMongoDB 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.
-
10
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. -
11
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... -
12
Scala Parser Combinators
simple combinator-based parsing for Scala
scala-parser-combinators is a library that offers simple combinator-based parsing for Scala. Originally part of the Scala standard library, it allows developers to construct parsers using combinators directly in Scala code. -
13
Ammonite
Scala Scripting
Ammonite is a modern Scala REPL and scripting tool designed to give Scala users a more interactive and flexible REPL experience and to free them from heavyweight project boilerplate. It provides syntax‐highlighting, multiline editing, auto‐completion, and dynamic importing of dependencies (using a magic import syntax like import $ivy…). Instead of having to set up an sbt project for many small tasks, one can write Scala scripts (with .sc extension) and run them directly, with Ammonite... -
14
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. -
15
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... -
16
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... -
17
Scala.js
Scala.js, the Scala to JavaScript compiler
Strong typing guarantees your code is free of silly mistakes; no more mixing up strings or numbers, forgetting what keys an object has, or worrying about typos in your method names. Scala.js takes care of all this tedious book-keeping for you, letting you focus on the actual, more interesting problem your application is trying to solve. Scala.js optimizes your Scala code into highly efficient JavaScript. Incremental compilation guarantees speedy (1-2s) turn-around times when your code... -
18
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. -
19
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. -
20
FS2
Compositional, streaming I/O library for Scala
FS2 (“Functional Streams for Scala”) is a purely functional, effectful abstraction for stream processing on the JVM. Built on Cats Effect, it enables compositional resource-safe streaming workflows with robust error handling, back-pressure, pull/push semantics, and support for concurrent and interruptible pipelines. -
21
Shapeless
Generic programming for Scala
Shapeless is a powerful generic programming library for Scala, enabling compile-time abstraction and manipulation of types. It provides features such as HLists (heterogenous lists), generic derivation of type class instances, dependent types, and polymorphic functions—allowing developers to write boilerplate-free, type-safe code. -
22
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. -
23
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... -
24
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... -
25
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.
