Search Results for "safety"
Sort By:
Showing 258 open source projects for "safety"
View related business solutions-
$300 Free Credits to Build on Google CloudPut 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.
-
One Monitoring Tool for IT, OT and Cloud | Free TrialModern infrastructure spans data centers, cloud platforms and factory floors, and every blind spot between them is a risk. PRTG supports SNMP, WMI, SSH and other standard protocols to monitor IT, OT and hybrid environments through one customizable dashboard. Build the views your team needs, from network health to application performance, without switching tools. Try PRTG free for 30 days now.
-
1
OCaml
The core OCaml system: compilers, runtime system, base libraries
OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety. OCaml’s powerful type system means more bugs are caught at compile-time, and large, complex codebases are easier to maintain. This makes it a good language for running critical code. At the same time, sophisticated inference makes the type system unobtrusive, creating a smooth developer experience. OCaml has two compilers. One is a bytecode compiler that generates small, portable executables and is very fast. ... -
2
Concurrent Ruby
Modern concurrency tools including agents, futures, promises, etc.
...Keeps the semantics as idiomatic Ruby as possible, supports features that make sense in Ruby. Excludes features that don't make sense in Ruby. It is small, lean, and loosely coupled, thread-safety, and with backward compatibility. Concurrent Ruby makes one of the strongest thread safety guarantees of any Ruby concurrency library, providing consistent behavior and guarantees on all four of the main Ruby interpreters (MRI/CRuby, JRuby, Rubinius, TruffleRuby). -
3
Carp
A functional, systems programming language with linear types
Carp is a statically typed, functional programming language designed for real-time and systems programming. It features a Lisp-like syntax, strong compile-time checks, and linear type semantics that ensure memory safety without a garbage collector. Carp targets C as its backend, generating performant and predictable native code while offering functional abstractions and interactive development via REPL. -
4
scriptc
TypeScript-to-Native Compiler
...The supported surface includes major language features, standard collections, many Node APIs, networking, TLS, fetch, streams, and asynchronous programming. Differential tests compare native output with Node.js, while sanitizer testing checks memory safety and documented divergences. -
Build Data Resilience - Take the Assessment TodayIs your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.
-
5
Phan
Phan is a static analyzer for PHP
...Phan 5 depends on PHP 7.2+ with the php-ast extension (1.0.16+ is preferred) and supports analyzing PHP version 7.0-8.1 syntax. Check that all methods, functions, classes, traits, interfaces, constants, properties and variables are defined and accessible. Check for type safety and arity issues on method/function/closure calls. -
6
tsafe
The missing TypeScript utils
Tsafe is a lightweight TypeScript utility library designed to improve type safety and code clarity. It provides helpers for runtime type assertions, exhaustive type checking, and ensuring strict type constraints. -
7
Crosvm
The Chrome OS Virtual Machine Monitor
...Unlike general-purpose emulators like QEMU, crosvm avoids full hardware emulation and focuses on modern paravirtualized I/O using the virtio standard, reducing complexity and attack surface. Written in Rust, it emphasizes memory safety and modularity, allowing sandboxed device emulation with fine-grained privilege separation. crosvm underpins several ChromeOS subsystems, including Android Runtime for Chrome (ARCVM) and Crostini Linux containers, enabling rich application compatibility within a tightly controlled environment. -
8
better-sqlite3
The fastest and simplest library for SQLite3 in Node.js
The fastest and simplest library for SQLite3 in Node.js. Full transaction support. High performance, efficiency, and safety. Easy-to-use synchronous API (better concurrency than an asynchronous API... yes, you read that correctly). Support for user-defined functions, aggregates, virtual tables, and extensions. 64-bit integers (invisible until you need them). Worker thread support (for large/slow queries). Help this project stay strong! better-sqlite3 is used by thousands of developers and engineers on a daily basis. ... -
9
anti-slop
Opinionated Oxlint rules for rejecting low-evidence TypeScript
...Its rules target practices such as chained type assertions, unsafe dictionary types, broad object parameters, ad hoc runtime type checks, module mocking, and contracts that return unknown. Type assertions can be required to include a safety comment explaining the checked invariant. An included agent skill can copy the plugin, install Oxlint dependencies, merge configuration, and validate the setup. Optional Effect-specific rules add architecture checks without affecting projects that do not use Effect. -
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
lldap
Light LDAP implementation
...It focuses on delivering essential LDAP functionality while avoiding the heavy operational overhead commonly associated with enterprise-grade directory servers. Written in Rust, lldap benefits from strong memory safety guarantees and performance efficiency, making it suitable for self-hosted environments and small-to-medium-scale deployments. The project emphasizes usability, offering a more approachable configuration model and integration capabilities for authentication and identity management systems. lldap is particularly useful for developers and organizations that need LDAP-compatible authentication without the complexity of legacy systems like OpenLDAP. ... -
11
SaaS Boilerplate
SaaS Boilerplate built with Next.js + Tailwind CSS + Shadcn UI
...Packed with essential features like built-in Authentication, Multi-Tenancy with Team support, Role & Permission, Database, I18n (internationalization), Landing Page, User Dashboard, Form handling, SEO optimization, Logging, Error reporting with Sentry, Testing, Deployment, Monitoring, and User Impersonation, this SaaS template provides everything you need to get started. Designed with developers in mind, this Next.js Starter Kit uses TypeScript for type safety and integrates ESLint to maintain code quality, along with Prettier for consistent code formatting. The testing suite combines Vitest and React Testing Library for robust unit testing, while Playwright handles integration and E2E testing. -
12
Prisma
Next-generation ORM for Node.js and TypeScript
...Auto-completion, linting, formatting and more help Prisma developers in VSCode stay confident without distractions. Prisma Client puts extra emphasis on extensive type safety for more productive development in TypeScript. Prisma is a server-side library that helps your app read and write data to the database in an intuitive and safe way. -
13
git-delete-merged-branches
Command-line tool to delete merged Git branches
...Supports workflows with multiple release branches, e.g. only delete branches that have been merged to all of master, dev and staging. Quick interactive configuration. Provider agnostic: Works with GitHub, GitLab, Gitea and any other Git hosting. Takes safety seriously. Deletion is a sharp knife that requires care. While git reflog would have your back in most cases, git-delete-merged-branches takes safety seriously. git push is used with --force-with-lease so if the server and you have a different understanding of that branch, it is not deleted. There is no use of os.system or shell code to go wrong. -
14
Rust Programming Language
Empowering everyone to build reliable and efficient software
...It runs blazingly fast and is memory-efficient, so it can power performance-critical services and run on embedded devices. It has a rich type system and ownership model, ensuring both thread and memory safety. Consisting of a standard library, great documentation and a friendly compiler, plus a top-notch build tool, package manager, auto-formatter and many other great tools, it’s the language of choice for increased productivity. Hundreds of companies the world over are using Rust to power an amazing range of cross-platform solutions. ... -
15
React Router
Declarative routing for React
...It enables robust routing experiences across React versions. It supports advanced features in React 19. You can use it maximally as a React framework or minimally as a library with your own architecture. First‑class type safety with automatic type generation for route params and data. It is designed to facilitate migration from React 18 to React 19 with non‑breaking upgrades -
16
Swift
The Swift Programming Language
Swift is a high-performance, general-purpose programming language built with a modern approach to safety, performance, and software design patterns. With a clean and modern syntax, it offers seamless access to existing C and Objective-C code and frameworks. Swift makes it easy to write software that is incredibly fast and safe by design. It comes packaged with core features like flow control, data structures and functions, with high-level constructs like objects, protocols, closures, and generics. ... -
17
Slick database
Slick (Scala Language Integrated Connection Kit) is a modern database
...By writing your queries in Scala you can benefit from the static type checking, compile-time safety, and compositionality of Scala, while retaining the ability to drop down to raw SQL where needed for custom or advanced database features. -
18
Zerocopy
Zerocopy makes zero-cost memory manipulation effortless
...Complementing these traits are conversion macros that perform compile-time checks to ensure size and alignment safety, providing zero runtime overhead for unconditional casts. -
19
Autocxx
Tool for safe ergonomic Rust/C++ interop driven from existing C++
...With autocxx, developers can include C++ headers directly in Rust source code and automatically generate bindings for the corresponding C++ classes, functions, and types. This approach greatly simplifies working with existing C++ libraries in Rust while maintaining safety and memory correctness. By reducing the amount of boilerplate and manual configuration typically needed for FFI (Foreign Function Interface) bindings, autocxx allows developers to focus on higher-level logic rather than low-level integration details. -
20
Pion TURN
Pion TURN, an API for building TURN clients and servers
...Designed for learning and easy debugging. Portable - Quickly deploy to multiple architectures/platforms just by setting an environment variable. Safe - Stability and safety is important for network services. Go provides everything we need. Scalable - Create allocations and mutate state at runtime. Designed to make scaling easy. pion/turn is an API for building STUN/TURN clients and servers, not a binary you deploy then configure. -
21
Pothos GraphQL
Pothos GraphQL is library for creating GraphQL schemas in typescript
...Plugins can extend almost any part of the API by adding new options or methods that can take full advantage of the Pothos type system. Pothos was built from the start to leverage typescript for best-in-class type-safety. Pothos has a clear separation between the shape of your external GraphQL API, and the internal representation of your data. -
22
Cats Effect
The pure asynchronous runtime for Scala
...The core abstraction is the IO type (or effect types more generally), which encodes effectful computations in a pure, referentially transparent way. Cats-Effect offers capabilities like deferred execution, cancellation, resource safety (Resource), fiber concurrency (lightweight threads), and interoperation with underlying runtime platforms (JVM, Java concurrency, etc.). It enables developers to write effectful code while preserving composability, purity, and modular reasoning about side effects. -
23
async-std
Async version of the Rust standard library
async-std makes async programming foundations easy and approachable. Built-in Rust for speed and safety. -
24
Artichoke Ruby
Artichoke is a Ruby made with Rust
Artichoke is an experimental implementation of the Ruby programming language written primarily in Rust, aiming to provide a modern, embeddable, and portable Ruby runtime. It is designed to be compatible with MRI Ruby while exploring new approaches to performance, safety, and execution models through Rust’s systems programming capabilities. One of its key goals is to enable Ruby to run in environments where traditional implementations struggle, including WebAssembly and sandboxed or untrusted execution contexts. Artichoke features a modular architecture composed of multiple Rust crates, allowing developers to customize and embed the interpreter into their own applications. ... -
25
Rinf
Rust for native business logic, Flutter for flexible and beautiful GUI
Rust for native business logic, Flutter for flexible and beautiful GUI. Rinf is a production-ready framework for creating beautiful and performant cross-platform apps using Flutter and Rust with batteries fully included. Simply add this framework to your app project, and you're all set to write Flutter and Rust together. There are no webviews, web servers, hidden threads, or unnecessary memory copying that might cause performance overhead. This setup acts as a very thin wrapper around Dart...
