Top 23 Safety Open-Source Projects

• ts-toolbelt

  10 6,406 0.0 TypeScript

  👷 TypeScript's largest type utility library

Project mention: 5 Resources Each TypeScript Developer Should Know About | dev.to | 2024-03-10

There are a bunch of awesome type utility libraries that may boost your works on types, like ts-toolbelt, utility-types, SimplyTyped, etc., which you can already use.

• sig-security

  21 1,956 9.7 HTML

  🔐CNCF Security Technical Advisory Group -- secure access, policy control, privacy, auditing, explainability and more!

  

Project mention: Introduction to the Kubernetes ecosystem | dev.to | 2024-04-25

It is also interesting to meet the community : the TAGs (Tech Advisor Group) which provide strategic guidance and advice on technical issues, as well as the SIGs (Special Interest Group) which focuses on areas of interest or specific expertise within the Kubernetes community to drive development and innovation. The TAGs are specialized by areas, for example on security or environmental sustainability.

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• awesome-safety-critical

  12 1,520 4.7 Python

  List of resources about programming practices for writing safety-critical software.

Project mention: Aerugo – RTOS for aerospace uses written in Rust | news.ycombinator.com | 2024-01-31

https://awesome-safety-critical.readthedocs.io/en/latest/#so...

• neorv32

  77 1,437 9.9 VHDL

  :rocket: A tiny, customizable and extensible MCU-class 32-bit RISC-V soft-core CPU and microcontroller-like SoC written in platform-independent VHDL.

Project mention: An example of how to add the A ISA extension's LR/SC operations into an open-source architecture | /r/RISCV | 2023-07-24

• safe-rlhf

  1 1,169 8.1 Python

  Safe RLHF: Constrained Value Alignment via Safe Reinforcement Learning from Human Feedback

  

• Latte

  10 1,072 8.6 PHP

  ☕ Latte: the safest & truly intuitive templates for PHP. Engine for those who want the most secure PHP sites.

  

• diodb

  10 958 7.6 Python

  Open-source vulnerability disclosure and bug bounty program database

  

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• mp-units

  13 956 9.8 C++

  The quantities and units library for C++

Project mention: Is it just mean, or is C# easier to learn than JavaScript or even PHP? | /r/dotnet | 2023-12-06

It's not the type system you're complaining about, though. It takes a bit of work but you can write types that include units information with no loss of performance.

• Optional

  6 877 0.0 C#

  A robust option type for C#

Project mention: Nullable vs Option | /r/csharp | 2023-08-12

Since then C# introduced nullable which takes away some of the needs for a Option type. So what is your opionion? Do libraries like Optional still have a place when nullable is enabled?

• phpstan-strict-rules

  2 567 6.8 PHP

  Extra strict and opinionated rules for PHPStan

  

• safe-control-gym

  2 528 6.2 Python

  PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL

  

• Sefinek-Blocklist-Collection

  2 447 10.0 JavaScript

  🍒 A comprehensive repository of block lists for Pi-hole and AdGuard, featuring over 100 links and more than 5 million domains on the lists. Feel free to star this repository if you find it useful! o(>ω<)o

• liana

  11 286 9.7 Rust

  The missing safety net for your coins

  

Project mention: If someone found half my seed phrase | /r/Bitcoin | 2023-07-10

• gpt-scrolls

  1 276 0.0 Python

  A collaborative collection of open-source safe GPT-3 prompts that work well

• airisc_core_complex

  1 73 4.8 Verilog

  Fraunhofer IMS processor core. RISC-V ISA (RV32IM) with additional peripherals for embedded AI applications and smart sensors.

  

• NonEmptyCollections

  2 51 0.0 Kotlin

  A type-safe implementation for collections that cannot be empty. Life is too short for emptiness-checks!

  

• ewd998

  2 46 0.0 TLA

  Distributed termination detection on a ring, due to Shmuel Safra:

  

• AnnotationInject

  0 42 2.6 Swift

  Compile-time type safe Swift dependency injection annotations

• llvm-project

  2 38 0.0 C++

  The home of the clang-based implementation of lifetime safety warnings. (by mgehre)

• ramstk

  3 37 8.2 Python

  Reliability, Availability, Maintainability, Safety (RAMS) analysis program.

  

• arguard

  3 25 7.7 Go

  🛡 Linter for Go that checks static call arguments against the function guards (aka contracts).

  

Project mention: Remove Half of Your Documentation | news.ycombinator.com | 2023-10-13

• Umbrella_ios

  1 16 0.0 Swift

  Open source Android, iOS and Web app for learning about and managing digital and physical security. From how to send a secure message to dealing with a kidnap. Umbrella has best practice guides in over 40 topics in multiple languages. Used daily by people working in high risk countries - journalists, activists, diplomats, business travelers etc.

  

• Protected

  1 11 5.7 Swift

  Experimental API for Reads and Writes protected via Phantom types

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

Safety related posts

• Aerugo – RTOS for aerospace uses written in Rust

  3 projects | news.ycombinator.com | 31 Jan 2024

• Practicing Threat Modeling to Assess and Fortify Open Source Security [pdf]

  1 project | news.ycombinator.com | 24 Nov 2023

• Nullable vs Option

  1 project | /r/csharp | 12 Aug 2023

• If someone found half my seed phrase

  1 project | /r/Bitcoin | 10 Jul 2023

• [Serious] What is your plan to pass on your crypto in case of death?

  2 projects | /r/CryptoCurrency | 22 May 2023

• There's no "recovery" from this

  1 project | /r/Bitcoin | 18 May 2023

• Liana Wallet - Key loss recovery | Trustless inheritance | Safer Backups

  2 projects | /r/Bitcoin | 13 May 2023
• A note from our sponsor - SaaSHub
  www.saashub.com | 16 May 2024

  SaaSHub helps you find the best software and product alternatives Learn more →

Index

Sponsored

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com