Search Results for "safe"
Sort By:
325 projects for "safe" with 2 filters applied:
-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
-
Contractor Foreman is the most affordable all-in-one construction management software for contractors and is trusted by contractors in more than 75 countries.Starting at $49/m for the WHOLE company, Contractor Foreman is the most affordable all-in-one construction management system for contractors. Our customers in 75+ countries and industry awards back it up. And it's all backed by a 100 day guarantee.
-
1
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. -
2
next international
Type-safe internationalization (i18n) for Next.js
Type-safe internationalization (i18n) for Next.js. -
3
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. -
4
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. -
Bitdefender Ultimate Small Business SecurityGet exceptional protection against all digital threats for your business and employees.
-
5
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. -
6
YAVI
Yet Another Validation for Java
YAVI (pronounced jɑ-vάɪ) is a lambda-based type safe validation for Java. -
7
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. -
8
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. -
9
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. -
Cloud-based observability solution that helps businesses track and manage workload and performance on a unified dashboard.Monitor everything you run in your cloud without compromising on cost, granularity, or scale. groundcover is a full stack cloud-native APM platform designed to make observability effortless so that you can focus on building world-class products. By leveraging our proprietary sensor, groundcover unlocks unprecedented granularity on all your applications, eliminating the need for costly code changes and development cycles to ensure monitoring continuity.
-
10
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. -
11
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. -
12
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. -
13
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. -
14
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. -
15
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). -
16
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. -
17
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. -
18
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. ... -
19
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. -
20
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. -
21
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. -
22
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. -
23
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. -
24
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. -
25
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.