[go: up one dir, main page]

332 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
  • Yeastar: Business Phone System and Unified Communications Icon
    Yeastar: Business Phone System and Unified Communications

    Go beyond just a PBX with all communications integrated as one.

    User-friendly, optimized, and scalable, the Yeastar P-Series Phone System redefines business connectivity by bringing together calling, meetings, omnichannel messaging, and integrations in one simple platform—removing the limitations of distance, platforms, and systems.
    Learn More
  • 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: 6 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: 5 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: 3 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: 1 This Week
    Last Update:
    See Project
  • Self-hosted n8n: No-code AI workflows Icon
    Self-hosted n8n: No-code AI workflows

    Connect workflows. Integrate data

    A free-to-use workflow automation tool, n8n lets you connect all your apps and data in one customizable, no-code platform. Design workflows and process data from a simple, unified dashboard.
    Learn More
  • 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: 6 This Week
    Last Update:
    See Project
  • 6
    YAVI

    YAVI

    Yet Another Validation for Java

    YAVI (pronounced jɑ-vάɪ) is a lambda-based type safe validation for Java.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 7
    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: 6 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
    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: 7 This Week
    Last Update:
    See Project
  • Get your free 3CX license delivered to your inbox. Easy deployment and management; on premise or in the cloud, 3CX includes features such as: mobile apps, web conferencing, live chat, click2call and more, for UNLIMITED users. Icon
    Get your free 3CX license delivered to your inbox. Easy deployment and management; on premise or in the cloud, 3CX includes features such as: mobile apps, web conferencing, live chat, click2call and more, for UNLIMITED users.

    Business as Usual During Covid-19

    3CX is a software-based, open standards IP PBX that offers complete Unified Communications, out of the box. Suitable for any business size or industry 3CX can accommodate your every need; from mobility and status to advanced contact center features and more, at a fraction of the cost. 3CX makes installation, management and maintenance of your PBX so easy that you can effortlessly manage it yourself, whether on an appliance or server at your premise on Windows, Linux or in the cloud.
    DOWNLOAD
  • 10
    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: 7 This Week
    Last Update:
    See Project
  • 11
    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: 5 This Week
    Last Update:
    See Project
  • 12
    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: 5 This Week
    Last Update:
    See Project
  • 13
    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: 3 This Week
    Last Update:
    See Project
  • 14
    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: 6 This Week
    Last Update:
    See Project
  • 15
    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: 8 This Week
    Last Update:
    See Project
  • 16
    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
  • 17
    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: 3 This Week
    Last Update:
    See Project
  • 18
    Beam

    Beam

    A type-safe, non-TH Haskell SQL library and ORM

    Beam is a Haskell interface to relational databases. Beam uses the Haskell type system to verify that queries are type-safe before sending them to the database server. Queries are written in a straightforward, natural monadic syntax. Combinators are provided for all standard SQL92 features, and a significant subset of SQL99, SQL2003, and SQL2008 features. Beam is standards-compliant but not naive. We recognize that different database backends provide different guarantees, syntaxes, and advantages. ...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 19
    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
  • 20
    Remult

    Remult

    Full-stack CRUD, simplified, with SSOT TypeScript entities

    Remult is a full-stack CRUD framework for building type-safe web applications using a single shared TypeScript model. It automatically exposes backend APIs based on your entities and provides real-time synchronization, role-based access control, and deep integration with front-end frameworks like React, Angular, and Vue. Remult simplifies full-stack development by unifying API and model definitions.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 21
    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: 0 This Week
    Last Update:
    See Project
  • 22
    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: 2 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: 4 This Week
    Last Update:
    See Project
  • 24
    FastUI

    FastUI

    Build better UIs faster

    FastUI is a library that lets developers build interactive user interfaces for FastAPI applications using Pydantic models. It automatically generates frontend components based on data schemas and endpoint logic, reducing the need for manual UI development. Designed to be type-safe, reactive, and fast, FastUI streamlines the creation of web dashboards, admin panels, and internal tools within a FastAPI backend.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 25
    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: 3 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • 5
  • Next