Search Results for "safety"
Sort By:
Showing 543 open source projects for "safety"
View related business solutions-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
-
La version gratuite d'Auth0 s'enrichit !Vous l'avez demandé, nous l'avons fait ! Les versions gratuite et payante d'Auth0 incluent des options qui vous permettent de développer, déployer et faire évoluer vos applications en toute sécurité. Utilisez Auth0 dès maintenant pour découvrir tous ses avantages.
-
1
-
2
Redox
Redox is an operating system written in Rust
... of research and hard won experience into a system that feels modern and familiar. Redox is an attempt to make a complete, fully-functioning, general-purpose operating system with a focus on safety, freedom, reliability, correctness, and pragmatism. We want to be able to use it, without obstructions, as an alternative to Linux on our computers. It should be able to run most Linux programs with only minimal modifications. We're aiming towards a complete, safe Rust ecosystem. -
3
ExifTool
ExifTool meta information reader/writer
..., and cleaning or normalizing fields for archives. The tool is meticulous about character encodings, time zones, and tag groups, helping avoid silent corruption when moving metadata between ecosystems. It is scriptable and composable, with options to operate recursively, write sidecars, preserve originals, or do dry runs for safety. Professionals rely on ExifTool for digital asset management, forensic workflows, and any pipeline where metadata quality and traceability matter. -
4
Prisma
Next-generation ORM for Node.js and TypeScript
... with types tailored to your app. We designed the API to be intuitive for both SQL veterans and people brand new to databases. 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. -
Unimus makes Network Automation and Configuration Management easy.We aim to make automation, disaster recovery, change management and configuration auditing painless and affordable for a network of any size.
-
5
Marlin
Optimized firmware for RepRap 3D printers based on Arduino platform
Marlin is a popular open source firmware for the RepRap family of 3D printers. It is straightforward, reliable, extensible and adaptable, which is why it is used by many respected commercial 3D printer vendors as well as hobbyists. It runs on inexpensive 8-bit Atmel AVR micro-controllers, with added support for 32-bit and ARM-based boards. Marlin builds can be small enough for use on a headless printer with only modest hardware, and features can be enabled as-needed. -
6
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... -
7
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. CyberSecEval, one... -
8
librdkafka
The Apache Kafka C/C++ library
... no affiliation with and is not endorsed by The Apache Software Foundation. SASL (GSSAPI/Kerberos/SSPI, PLAIN, SCRAM, OAUTHBEARER) support. Guaranteed API stability for C & C++ APIs (ABI safety guaranteed for C). Runs on Linux, MacOS X, Windows, Solaris, FreeBSD, AIX, and more. Commercial support is available from Confluent Inc. -
9
React Router
Declarative routing for React
React Router is a standards‑focused, multi‑strategy routing library for React applications, offering both full‑framework capabilities and lightweight, flexible library usage. 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... -
Comet Backup - Fast, Secure Backup Software for MSPsComet is a flexible backup platform, giving you total control over your backup environment and storage destinations.
-
10
Rust Programming Language
Empowering everyone to build reliable and efficient software
The Rust Programming Language is a language that empowers you 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... -
11
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... -
12
Pedalboard
A Python library for audio
pedalboard is a Python library for working with audio: reading, writing, rendering, adding effects, and more. It supports the most popular audio file formats and a number of common audio effects out of the box and also allows the use of VST3® and Audio Unit formats for loading third-party software instruments and effects. pedalboard was built by Spotify’s Audio Intelligence Lab to enable using studio-quality audio effects from within Python and TensorFlow. Internally at Spotify, pedalboard... -
13
Materialize
Materialize, a web framework based on Material Design
Materialize, a CSS Framework based on Material Design. Using VanillaJS and as less dependencies as possible to keep it fast and simple. We use TypeScript since it builds upon JavaScript and enhances the type- and code safety. You don't have to learn or integrate any new or crappy stuff. The goal here is to stick to the roots. Just copy and paste from the documentation and you are good to go. Most of the Features work event without JavaScript. Components should be useable by mobile devices... -
14
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... -
15
Phan
Phan is a static analyzer for PHP
... project to tell Phan how to analyze your source code. 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. -
16
Pothos GraphQL
Pothos GraphQL is library for creating GraphQL schemas in typescript
... every plugin feel like its features are built into the core library. 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. -
17
Scala 2
Scala 2 compiler and standard library
Scala combines object-oriented and functional programming in one concise, high-level language. Scala's static types help avoid bugs in complex applications, and its JVM and JavaScript runtimes let you build high-performance systems with easy access to huge ecosystems of libraries. Scastie is Scala + sbt in your browser! You can use any version of Scala, or even alternate backends such as Dotty, Scala.js, Scala Native, and Typelevel Scala. You can use any published library. You can save and... -
18
Caddy
Powerful, enterprise-ready, open source web server w/ automatic HTTPS
Caddy is a powerful, extensible, enterprise-ready server platform that uses TLS by default. Everything you would require in your infrastructure, from TLS certificate renewals and OCSP stapling, to reverse proxying and ingress, Caddy simplifies it all. Its modular architecture lets you do more with just a single static binary that compiles for any platform. Caddy is the only web server that uses HTTPS automatically and by default. It automatically renews TLS certificates, staples OCSP... -
19
GoToSocial
Fast, fun, small ActivityPub server
... around 2026. GoToSocial provides a lightweight, customizable, and safety-focused entryway into the Fediverse, and is comparable to (but distinct from) existing projects such as Mastodon, Pleroma, Friendica, and PixelFed. If you've ever used something like Twitter or Tumblr (or even Myspace) GoToSocial will probably feel familiar to you: You can follow people and have followers, and you make posts that people can favorite and reply to, and share. -
20
Signal
A private messenger for Android
Signal-Android is the official open-source Android client for Signal, a secure messaging app focused on end-to-end encryption and privacy. Developed by the Signal Foundation, it enables private messaging, voice, and video calls, without storing user data. Signal uses the Signal Protocol for encryption and does not collect metadata, making it one of the most privacy-focused communication platforms available. -
21
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. -
22
NautilusTrader
A high-performance algorithmic trading platform
... 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
WezTerm
GPU-accelerated cross-platform terminal emulator
WezTerm is a GPU-accelerated, cross-platform terminal emulator and multiplexer built in Rust by Wez Furlong. Designed for speed and modern hardware, WezTerm offers smooth rendering and excellent performance on Windows, macOS, and Linux. It supports multiple tabs and panes, configurable keybindings, and integrates well with shell environments. WezTerm is highly customizable and focuses on providing a powerful, flexible terminal experience for developers and system administrators. It also... -
24
OpenHands
Open-source autonomous AI software engineer
... in the open on GitHub, under the MIT license. Our agents can do anything a human developer can: they write code, run commands, and use the web. We're partnering with AI safety experts like Invariant Labs to balance innovation with security. -
25
Rustler
Safe Rust bridge for creating Erlang NIF functions
Rustler is a library for writing Erlang NIFs in safe Rust code. That means there should be no ways to crash the BEAM (Erlang VM). The library provides facilities for generating the boilerplate for interacting with the BEAM, handles encoding and decoding of Erlang terms, and catches rust panics before they unwind into C. The library provides functionality for both Erlang and Elixir, however Elixir is favored as of now. The code you write in a Rust NIF should never be able to crash the BEAM....