346 projects for "safe" with 1 filter applied:

  • 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
  • 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
  • 1
    Safe

    Safe

    All PHP functions, rewritten to throw exceptions

    Safe PHP is a library that wraps native PHP functions to ensure they throw exceptions instead of returning false on failure. This approach helps developers write safer and more predictable code by eliminating the need to check return values manually. Safe PHP replaces risky functions with exception-based alternatives, allowing for cleaner and more robust error handling.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 2
    next international

    next international

    Type-safe internationalization (i18n) for Next.js

    Type-safe internationalization (i18n) for Next.js.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 3
    sqlc SQL Compiler

    sqlc SQL Compiler

    Generate type-safe code from SQL

    sqlc generates type-safe code from SQL. You write queries in SQL. You run sqlc to generate code with type-safe interfaces to those queries. You write application code that calls the generated code.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 4
    Compose Destinations

    Compose Destinations

    Annotation processing library for type-safe Jetpack Compose navigation

    A KSP library that processes annotations and generates code that uses Official Jetpack Compose Navigation under the hood. It hides the complex, non-type-safe and boilerplate code you would have to write otherwise. No need to learn a whole new framework to navigate - most APIs are either the same as with the Jetpack Components or inspired by them.
    Downloads: 2 This Week
    Last Update:
    See Project
  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • 5
    OpenAPI TypeScript Codegen

    OpenAPI TypeScript Codegen

    NodeJS library that generates Typescript or Javascript clients

    OpenAPI TypeScript Codegen is a tool that generates TypeScript clients from OpenAPI specifications, facilitating type-safe API interactions in TypeScript applications.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 6
    Typegoose

    Typegoose

    Define Mongoose models using TypeScript classes

    A library that enables developers to use TypeScript classes as MongoDB models, bridging TypeScript with Mongoose for type-safe MongoDB operations.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 7
    Basic Computer Games

    Basic Computer Games

    An updated version of the classic "Basic Computer Games" book

    Basic Computer Games is a modern revitalization of the classic “Basic Computer Games” book’s collection of games, ported and expanded into various modern, memory-safe and scripting languages. It includes illustrative code examples of many classic games (e.g. Blackjack, Bowling) in multiple languages, with the goal of making the historical games accessible and educational in safe modern environments. Definitely use the most recent versions and features of the target language, but also try to keep the code samples simple and explainable – the goal is to teach programming in the target language, not necessarily demonstrate the cleverest one-line tricks, or big system "enterprise" coding techniques designed for thousands of lines of code.
    Downloads: 8 This Week
    Last Update:
    See Project
  • 8
    Valibot

    Valibot

    Modular and type safe schema library for validating structural data

    Valibot is a modular and type-safe schema library for validating structural data. It provides developers with tools to define and enforce data schemas, ensuring data integrity and consistency across applications.​
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    libpqxx

    libpqxx

    The official C++ client API for PostgreSQL

    libpqxx is the official C++ client library for interacting with PostgreSQL, providing a high-level, type-safe API on top of the native libpq library. It allows C++ applications to connect to PostgreSQL databases, execute queries, and handle results with idiomatic C++ syntax. The library is suitable for performance-critical and systems-level applications.
    Downloads: 8 This Week
    Last Update:
    See Project
  • Catch Bugs Before Your Customers Do Icon
    Catch Bugs Before Your Customers Do

    Real-time error alerts, performance insights, and anomaly detection across your full stack. Free 30-day trial.

    Move from alert to fix before users notice. AppSignal monitors errors, performance bottlenecks, host health, and uptime—all from one dashboard. Instant notifications on deployments, anomaly triggers for memory spikes or error surges, and seamless log management. Works out of the box with Rails, Django, Express, Phoenix, Next.js, and dozens more. Starts at $23/month with no hidden fees.
    Try AppSignal Free
  • 10
    konform

    konform

    Portable validations for Kotlin

    Portable validations for Kotlin. Kotest provides various matches for use with Konform. They can be used in your tests to assert that a given object is validated successfully or fails validation with specific error messages.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 11
    YAVI

    YAVI

    Yet Another Validation for Java

    YAVI (pronounced jɑ-vάɪ) is a lambda-based type safe validation for Java.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 12
    FS2

    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.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 13
    OpenWorkflow

    OpenWorkflow

    Open-source TypeScript framework for building durable workflows

    OpenWorkflow is a TypeScript framework for building durable, resumable application workflows that can pause for extended periods and reliably continue execution after crashes or deployments. It allows developers to define workflows as code while ensuring that each step is persisted and replay-safe, preventing duplicate work through built-in memoization and idempotency controls. The framework supports long-running processes that can sleep for seconds or months, making it suitable for background jobs, automation pipelines, and event-driven systems. OpenWorkflow includes automatic retries with exponential backoff, parallel step execution, and scheduling capabilities, all while using the developer’s existing database instead of requiring dedicated orchestration infrastructure. ...
    Downloads: 13 This Week
    Last Update:
    See Project
  • 14
    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: 0 This Week
    Last Update:
    See Project
  • 15
    Piccolo

    Piccolo

    A fast, user friendly ORM and query builder which supports asyncio

    Piccolo is a modern, fast, and type-safe ORM for Python, designed with developer ergonomics in mind. It provides a clean syntax for defining schemas and building queries while supporting both sync and async execution. With built-in admin tools and rich introspection, Piccolo is suitable for web apps, APIs, and small-to-medium scale backends that prioritize clarity and speed.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 16
    PgRx

    PgRx

    Build Postgres Extensions with Rust

    pgrx is a Rust framework for developing PostgreSQL extensions, making it easier to write safe, high-performance native extensions in Rust. It handles the boilerplate and unsafe FFI needed to interface with Postgres internals, allowing developers to focus on logic. With built-in support for SQL generation, testing, and deployment, pgrx streamlines the extension creation process while embracing Rust’s safety guarantees.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 17
    Symfony VarExporter

    Symfony VarExporter

    Allows exporting any serializable PHP data structure to plain PHP code

    Symfony VarExporter is a component that provides fast and safe serialization of PHP objects, especially those involving closures, services, or references. Unlike traditional serialize() or var_export(), VarExporter produces PHP code that can be re-evaluated safely and efficiently, which is useful in caching, dependency injection, and configuration scenarios.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 18
    KMongo

    KMongo

    [deprecated] KMongo - a Kotlin toolkit for Mongo

    KMongo was created in 2016, when there was no official MongoDB Kotlin driver. KMongo features are available via Kotlin extensions - you use transparently the core MongoDB java driver API (both sync and reactive streams (ie async) drivers are supported).
    Downloads: 2 This Week
    Last Update:
    See Project
  • 19
    Zerocopy

    Zerocopy

    Zerocopy makes zero-cost memory manipulation effortless

    Zerocopy is a Rust library designed to make zero-cost memory manipulation both safe and effortless. It allows developers to reinterpret or convert raw byte sequences into structured types—and vice versa—without writing unsafe code directly. The crate provides safe abstractions for transmuting data while preserving Rust’s strict safety guarantees, removing the need for manual memory manipulation. Zerocopy introduces a suite of conversion traits such as TryFromBytes, FromBytes, IntoBytes, and FromZeros for defining how types can be safely constructed from or written to byte sequences. ...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 20
    napi-rs

    napi-rs

    A framework for building compiled Node.js add-ons in Rust via Node-API

    NAPI-RS is a framework for building native Node.js modules using the Rust programming language, offering a safe and efficient way to write performance-critical code.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    lockfree

    lockfree

    A collection of lock-free data structures written in standard C++11

    lockfree is a collection of lock-free data structures written in standard C++11 and suitable for all platforms - from deeply embedded to HPC. Lock-free data structures are data structures that are thread and interrupt-safe for concurrent use without having to use mutual exclusion mechanisms. They are most useful for inter-process communication and often scale much better than lock-based structures with the number of operations and threads.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 22
    Netcap

    Netcap

    A framework for secure and scalable network traffic analysis

    The Netcap (NETwork CAPture) framework efficiently converts a stream of network packets into platform-neutral type-safe structured audit records that represent specific protocols or custom abstractions. These audit records can be stored on disk or exchanged over the network, and are well-suited as a data source for machine learning algorithms. Since parsing of untrusted input can be dangerous and network data is potentially malicious, a programming language that provides a garbage-collected memory-safe runtime is used for the implementation.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 23
    Retrofit

    Retrofit

    Type-safe HTTP client for Android and Java by Square

    Retrofit is a type-safe HTTP client for Android and Java developed by Square. It allows developers to define REST API calls using simple interface annotations, automatically converting responses into Java objects using converters like Gson or Moshi. Retrofit greatly simplifies network requests by abstracting away boilerplate code, making API integration in mobile and Java apps seamless and maintainable.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 24
    Brick\Math

    Brick\Math

    Arbitrary-precision arithmetic library for PHP

    Brick Math is a PHP library that provides arbitrary-precision arithmetic for integers, rational numbers, and decimal numbers. It is designed to overcome the limitations of PHP’s native number handling, especially for applications dealing with large numbers, financial calculations, or scientific computations. Brick Math complies with standards like IEEE 754 and avoids rounding errors inherent to floating-point arithmetic.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 25
    TanStack Router

    TanStack Router

    Fully typesafe Router for React (and friends) w/ built-in caching

    TanStack Router is a modern, fully type-safe routing library designed for React and Solid applications, offering robust routing capabilities with first-class support for data loading, search parameters, nested layouts, and seamless integration with client-side caching libraries like TanStack Query. nd‑to‑end type safety (routes, params, loaders). Schema‑driven search params with validation.
    Downloads: 6 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • 5
  • Next
MongoDB Logo MongoDB