Search Results for "safety"
Sort By:
Showing 605 open source projects for "safety"
View related business solutions-
Find Hidden Risks in Windows Task SchedulerWindows Task Scheduler might be hiding critical failures. Download the free JAMS diagnostic tool to uncover problems before they impact production—get a color-coded risk report with clear remediation steps in minutes.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
1
Claude Code Safety Net
A Claude Code plugin that acts as a safety net
Claude Code Safety Net is a safety-oriented framework and example set designed to help developers integrate runtime checks, guardrails, and defensible constraints into agentic systems powered by Claude Code, with the goal of reducing unsafe outputs, erroneous actions, and harmful behaviors in production scenarios. The repository defines patterns and reusable components for validating agent decisions, sanitizing user inputs, and enforcing operational boundaries, making it easier to design fail-safe integrations with both internal toolchains and external APIs. ... -
2
Ruffle
A Flash Player emulator written in Rust
...On the web side, Ruffle is embedded into pages or installed as a browser extension; in the desktop version, it can open .swf files directly or embed them in applications. Because it’s built with memory safety in mind, Ruffle helps avoid many of the security vulnerabilities that plagued classic Flash (buffer overflows, use-after-free, etc.). It strives to support multiple versions of ActionScript (1, 2 and parts of 3) and a wide swath of the Flash API so as much content as possible works unchanged. -
3
gpt-oss-safeguard
Safety reasoning models built-upon gpt-oss
gpt-oss-safeguard is an open-weight reasoning model family released by OpenAI designed specifically for content safety and moderation tasks. Rather than just outputting a numeric “safety score,” it is trained to reason about content with respect to a user-provided policy, allowing flexible, customizable moderation definitions rather than fixed rules — ideal when different platforms have different safety standards. The model comes in at least two variants: a large 120B-parameter version for heavy-duty, high-accuracy reasoning, and a 20B-parameter version optimized for lower latency or smaller compute resources. ... -
4
Slonik
A Node.js PostgreSQL client with runtime and build time type safety
Slonik is a PostgreSQL client for Node.js that ensures safe and efficient query execution by using tagged template literals, preventing SQL injection attacks and promoting better query structure. -
Atera - The depth of a full-stack IT platform, with the power of AI.Atera prioritizes security and compliance through robust protections that align with industry standards. Our AI-driven features were built on responsible AI principles and empower IT teams to work efficiently while maintaining trust and compliance.
-
5
Purple Llama
Set of tools to assess and improve LLM security
Purple Llama is an umbrella safety initiative that aggregates tools, benchmarks, and mitigations to help developers build responsibly with open generative AI. Its scope spans input and output safeguards, cybersecurity-focused evaluations, and reference shields that can be inserted at inference time. The project evolves as a hub for safety research artifacts like Llama Guard and Code Shield, along with dataset specs and how-to guides for integrating checks into applications. ... -
6
Nightingale OS
A small operating system where I experiment and learn osdev
nightingale is a modern hobby operating system developed in Rust, focusing on safety, simplicity, and minimalism. It aims to be a clean platform for experimentation and learning, implementing a small kernel with core features like multitasking, memory protection, and a minimal filesystem. Its use of Rust provides strong guarantees around memory safety and eliminates common bugs found in low-level C-based systems. nightingale is ideal for those seeking to study OS development using a modern language with a strong safety model. -
7
Obtainium
Get Android app updates straight from the source
Obtainium is an Android app for installing and updating apps directly from their release pages (GitHub, GitLab, F-Droid, APKMirror, etc.). Users can subscribe to custom sources, receive notifications on updates, verify APK safety (using AppVerifier), and import/export app lists. It's designed to bypass Play Store restrictions and keep apps up to date independently. -
8
rustix
Safe Rust bindings to POSIX-ish APIs
rustix provides efficient memory-safe and I/O-safe wrappers to POSIX-like, Unix-like, Linux, and Winsock syscall-like APIs, with configurable backends. It uses Rust references, slices, and return values instead of raw pointers, and I/O safety types instead of raw file descriptors, providing memory safety, I/O safety, and provenance. It uses Results for reporting errors, bitflags instead of bare integer flags, an Arg trait with optimizations to efficiently accept any Rust string type, and several other efficient conveniences. rustix is low-level and, and while the net API supports Windows Sockets 2 (Winsock), the rest of the APIs do not support Windows; for higher-level and more portable APIs built on this functionality, see the cap-std, memfd, timerfd, and io-streams crates. -
9
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. ... -
DAT Freight and Analytics - DATDAT Freight & Analytics operates DAT One, North America’s largest truckload freight marketplace; DAT iQ, the industry’s leading freight data analytics service; and Trucker Tools, the leader in load visibility. Shippers, transportation brokers, carriers, news organizations, and industry analysts rely on DAT for market trends and data insights, informed by nearly 700,000 daily load posts and a database exceeding $1 trillion in freight market transactions. Founded in 1978, DAT is a business unit of Roper Technologies (Nasdaq: ROP), a constituent of the Nasdaq 100, S&P 500, and Fortune 1000. Headquartered in Beaverton, Ore., DAT continues to set the standard for innovation in the trucking and logistics industry.
-
10
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. -
11
ODMantic
Sync and Async ODM (Object Document Mapper) for MongoDB
Odmantic is an Object-Document Mapper (ODM) for MongoDB, designed for Python applications using Pydantic models, providing a seamless integration with type safety and validation. -
12
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. -
13
URL Routing
A bidirectional router with more type safety and less fuss
swift-url-routing is a bidirectional router with more type safety and less fuss. This library is built with Parsing. -
14
k23
Experimental WASM Microkernel Operating System
k23 is a microkernel-based operating system project written in Zig, an emerging systems programming language focused on safety, simplicity, and performance. k23 explores the design of modern OS features like message-passing, memory protection, and modular service construction using Zig’s powerful low-level capabilities. It is an experimental and educational project intended to show how Zig can be used for robust, readable systems programming while enabling contributors to rethink traditional OS structures from the ground up. -
15
Simple MCP
A simple TypeScript library for creating MCP servers
simple-mcp is a TypeScript library designed to facilitate the creation of Model Context Protocol (MCP) servers. It offers a straightforward API, enabling developers to set up MCP servers with minimal code. The library emphasizes type safety through full TypeScript integration and incorporates parameter validation using Zod. It fully implements the MCP, ensuring compatibility with MCP clients. -
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
1JPM
Maven/Gradle alternative with a twist: its a single Java file
1JPM (1 Java Project Manager) is a Java-based, single-file build tool that generates Maven pom.xml files and wraps Maven execution with enhanced plugins. It offers a familiar Java code-driven configuration style, reducing verbose XML and providing better IDE integration and runtime safety features -
18
pgTyped
pgTyped - Typesafe SQL in TypeScript
pgtyped brings type safety to SQL queries in TypeScript by parsing SQL files and generating typed query functions. It analyzes SQL against your PostgreSQL schema and outputs TypeScript code that ensures inputs and results are correctly typed. This allows teams to use raw SQL while retaining the safety and developer experience of TypeScript. -
19
MongoDB Rust Driver
The official MongoDB Rust Driver
The MongoDB Rust Driver is a native, idiomatic Rust client for MongoDB that gives systems software and back-end services the ability to interact with MongoDB from safe, performant Rust code. It makes extensive use of Rust’s ownership and type systems to ensure memory safety, thread safety, and predictable performance without garbage collection overhead. The driver supports common MongoDB features like CRUD operations, indexing, aggregations, change streams, and transactions, enabling full use of the database’s capabilities from Rust applications. Because it’s asynchronous by design, it works well with Rust async runtimes like Tokio and async-std, letting developers build highly concurrent networked services that efficiently use modern multicore hardware. ... -
20
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. -
21
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. -
22
NautilusTrader
A high-performance algorithmic trading platform
...This helps to address the parity challenge of keeping the Python research/backtest environment, consistent with the production live trading environment. NautilusTraders design, architecture and implementation philosophy holds software correctness and safety at the highest level, with the aim of supporting Python native, mission-critical, trading system backtesting and live deployment workloads. -
23
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. -
24
Horust
Horust is a supervisor / init system written in rust
...Unlike traditional init systems, Horust focuses on stateless configuration using TOML files and aims to bring predictability and ease of use to system boot and service management. Written with Rust’s safety guarantees, Horust provides features like dependency handling, parallel service startup, and logging, making it suitable for containers, embedded systems, or minimal Linux environments where systemd is too complex or heavy. -
25
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. ...
