Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for safety
safety
x
133 search results found
Ts Toolbelt
⭐
6,011
👷 TypeScript's largest type utility library
Tag Security
⭐
1,882
🔐CNCF Security Technical Advisory Group -- secure access, policy control, privacy, auditing, explainability and more!
Awesome Safety Critical
⭐
1,482
List of resources about programming practices for writing safety-critical software.
Safe Rlhf
⭐
1,040
Safe RLHF: Constrained Value Alignment via Safe Reinforcement Learning from Human Feedback
Latte
⭐
1,033
☕ Latte: the safest & truly intuitive templates for PHP. Engine for those who want the most secure PHP sites.
Diodb
⭐
953
Open-source vulnerability disclosure and bug bounty program database
Mp Units
⭐
945
The quantities and units library for C++
Lightcord
⭐
760
A simple - customizable - Discord Client
Optional
⭐
732
A robust option type for C#
Huskyci
⭐
557
Performing security tests inside your CI
Anti Webspider
⭐
535
Web 端反爬技术方案
Phpstan Strict Rules
⭐
523
Extra strict and opinionated rules for PHPStan
Safe Control Gym
⭐
477
PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL
Forms
⭐
468
📝 Generating, validating and processing secure forms in PHP. Handy API, fully customizable, server & client side validation and mature design.
Zebra Crossing
⭐
415
Zebra Crossing: an easy-to-use digital safety checklist
Awesome Llm Uncertainty Reliability Robustness
⭐
407
Awesome-LLM-Robustness: a curated list of Uncertainty, Reliability and Robustness in Large Language Models
Safety Prompts
⭐
404
Chinese safety prompts for evaluating and improving the safety of LLMs. 中文安全prompts,用于评估和提升大模型的安全性。
Sefinek Blocklist Collection
⭐
354
🍒 A comprehensive repository of block lists for Pi-hole and AdGuard, featuring over 100 links and more than 6 million domains on Adlists. Feel free to star this repository if you find it useful! o(>ω<)o
Uc Os2
⭐
344
µC/OS-II is a preemptive, highly portable, and scalable real-time kernels. Designed for ease of use on a huge number of CPU architectures.
Ad Rss Lib
⭐
322
Library implementing the Responsibility Sensitive Safety model (RSS) for Autonomous Vehicles
Bao Hypervisor
⭐
268
Bao, a Lightweight Static Partitioning Hypervisor
Liana
⭐
256
The missing safety net for your coins
Nextjs Ts
⭐
251
Opinionated Next JS project boilerplate with TypeScript and Redux
Swifty
⭐
191
Make swift code swifty
Cvalues
⭐
191
面向中文大模型价值观的评估与对齐研究
Gpt Scrolls
⭐
149
A collaborative collection of open-source safe GPT-3 prompts that work well
Safe_learning
⭐
117
Safe reinforcement learning with stability guarantees
Korean Safety Benchmarks
⭐
111
Official datasets and pytorch implementation repository of SQuARe and KoSBi (ACL 2023)
Safeopt
⭐
108
Safe Bayesian Optimization
Anti Fishhook
⭐
104
Anti-Fishhook (make fishhook doesn't work)
Lm Ssp
⭐
85
A reading list for large models safety, security, and privacy.
Do_snapshot
⭐
77
A command-line snapshot maker for your DigitalOcean droplets. Fully Automated. Multi-threaded.
Tfdb
⭐
74
Tiny Flash Database for MCU.
Subspace
⭐
73
A concept-centered standard library for C++20, enabling safer and more reliable products and a more modern feel for C++ code.; Also home of Subdoc the code-documentation generator.
Jsonapi
⭐
69
Swift Codable JSON:API framework
Cargo Safety
⭐
64
cargo-safety provides safety checks for Rust projects by finding all uses of unsafe code in dependencies.
Dtls
⭐
62
Datagram Transport Layer Security (DTLS) client.
Pwdsafety
⭐
61
🔒command line tool checking password safety🔒
Skjold
⭐
59
Security audit Python project dependencies against security advisory databases.
Ais
⭐
55
Toolkit for research purposes in AIS. See the website for the paper.
Bullet Safety Gym
⭐
51
An open-source framework to benchmark and assess safety specifications of Reinforcement Learning problems.
Nonemptycollections
⭐
48
A type-safe implementation for collections that cannot be empty. Life is too short for emptiness-checks!
Airisc_core_complex
⭐
48
Fraunhofer IMS processor core. RISC-V ISA (RV32IM) with additional periperals for embedded AI applications and smart sensors.
Stack
⭐
48
A Type-Safe, Thread-Safe-ish approach to CoreData in Swift
Fearless
⭐
45
Safe concurrency in D (`shared` made easier)
Umbrella_content
⭐
45
Content Used In Umbrella App
Dlv
⭐
44
Safety Verification of Deep Neural Networks
Checkemulatorbynative
⭐
43
Detect if device is an emulator by native code.{检查当运行的设备是否是模拟器.}
Ewd998
⭐
41
Distributed termination detection on a ring, due to Shmuel Safra:
Ewd998
⭐
41
Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998
Annotationinject
⭐
40
Compile-time Swift dependency injection annotations
Safe Types
⭐
39
Type safe utils inspired from the Rust language for writing better TypeScript/Flow.
Trash
⭐
39
macOS command line tool to move files to trash
Goat
⭐
36
Extended flavor of the Go programming language, aiming for increased value safety and maintainability
Nmac
⭐
36
📱 An Android device MAC changer
Deepinception
⭐
35
Source code for the paper "DeepInception: Hypnotize Large Language Model to Be Jailbreaker"
Ramstk
⭐
35
Reliability, Availability, Maintainability, Safety (RAMS) analysis program.
Php Aio Security
⭐
35
The objective of this class is offer an automatic system of protection for developers's projects and simplify some security operations as the check of CSRF or XSS all in a simple class. Infact you could just call the main method to have better security yet without too much complicated operations.
Rumpsteak
⭐
35
🍖 Session types for asynchronous communication between multiple parties.
Figstep
⭐
32
Jailbreaking Large Vision-language Models via Typographic Visual Prompts
Mstdlib
⭐
31
"M" Standard Library for C (common algorithms, event io, threading, sql, etc)
Untrusted.py
⭐
31
Safer Python with types for untrusted input
Llvm Project
⭐
31
The home of the clang-based implementation of lifetime safety warnings.
Undo
⭐
30
Gelöschte Artikel, Slices und Kategorien wiederherstellen
Gesture_recognition
⭐
30
a gesture recognition verification lock
Dsrl
⭐
27
🔥 Datasets and env wrappers for offline safe reinforcement learning
Openfed
⭐
26
A Comprehensive and Versatile Open-Source Federated Learning Framework
Arguard
⭐
25
🛡 Linter for Go that checks static call arguments against the function guards (aka contracts).
Fmdtools
⭐
23
System Resilience Modelling, Simulation, and Assessment in Python
React Safe Src Doc Iframe
⭐
23
A component which applies guards to srcdoc iframes in order to provide a predictable and safe experience to the user. Complements the sandbox native iframe attribute.
Digirisk
⭐
23
DigiRisk pour Dolibarr, créer et gérer votre Document Unique facilement
Xstampp
⭐
22
XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption and use of STAMP methodologies (STPA and CAST) in different areas. XSTAMPP includes seven plug-ins.
Women_safety_box
⭐
21
This is an Android App for Women or any Female, which Will Call to an Emergency number, based on a specific voice command like "Help" . It will also send SMS with current GPS coordinates to those numbers.
Itstools
⭐
20
A multi-formalism, multi-solution model-checker centered on the language GAL
Multilingual Safety For Llms
⭐
20
[ICLR 2024]Data for "Multilingual Jailbreak Challenges in Large Language Models"
Safe Exploration
⭐
20
Safe Exploration with MPC and Gaussian process models
Tb Correctidentity
⭐
19
Source of the Mozilla Thunderbird extension "Correct Identity"
Hms Safetydetect Demo Android
⭐
18
SafetyDetect Sample provides many sample programs for your reference or usage.This example demonstrates how to integrate services provided by Safetydetect Kit, such as APPchecks, URLcheck, Userdetect, Wifidetect.
Awesome Failure Detection
⭐
18
A list of papers that studies out-of-distribution (OOD) detection and misclassification detection (MisD)
Reach
⭐
18
symbolic reachability checker
Scenarioarchitect
⭐
18
The Scenario Architect provides a lightweight graphical user interface that allows a straightforward realization and manipulation of concrete driving testing scenarios. Exemplary usecases are the validation of an online verification framework or training of an prediction algorithm.
Safe
⭐
16
🛡 PHP functions smarten up to throw exceptions instead of returning false or triggering errors.
Psychedelics
⭐
15
Unfollo
⭐
15
a tool created by shell script to unfollow people in instagram.
Terminal Escape Injections
⭐
15
Repository dedicated to terminal escape injections.
Vllm Safety Benchmark
⭐
15
Official PyTorch Implementation of "How Many Unicorns Are in This Image? A Safety Evaluation Benchmark for Vision LLMs"
Human_robot_collaboration
⭐
15
Yet another repo for the baxter collaboration task.
Rostam Bot Extension
⭐
14
An extension that notify you suspicious accounts on Twitter in Chrome and Firefox.
Easier Proofs
⭐
14
A project which aim to help engineers to make proves easily
Alta
⭐
14
A simple 🎯, safe 🔒, and powerful 💪 programming language
Huskyci Dashboard
⭐
14
Frontend to display data from huskyCI analyses
Qm
⭐
13
QM is a containerized environment for running Functional Safety qm (Quality Management) software
Aamks
⭐
13
Probabilistic fire risk assessment framework
Haar_deepmodel
⭐
12
Detects the abnormal behaviors of passengers on a ship so we can prevent accidents from occurring
Beavertails
⭐
12
BeaverTails is a collection of datasets designed to facilitate research on safety alignment in large language models (LLMs).
Safeoptioncritic
⭐
11
Safe Option-Critic: Learning Safety in the Option-Critic Architecture
Kirby Sri
⭐
11
Subresource integrity hashing & cache-busting static assets for Kirby
Physical2fa
⭐
11
Encryption using 2 Factor Authentication through an external drive with Python
Simplesecurity
⭐
10
Combine multiple popular python security tools and generate reports or output into different formats
Nomoreransom
⭐
10
All-in-One Ransomware Decryption Tools (Unofficial Mirror)
1-100 of 133 search results
Next >
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.