List of resources about programming practices for writing safety-critical softwa

Python1520cc0-1.0

28 days ago

awesome-listawesome-listssafety

ROS driver for SICK safety laser scanners

C++60apache-2.0

last month

driverlaserscannermicroscan3

An Elixir tool for checking safety of database migrations.

Elixir195mit

3 months ago

astcode-analysiscredo

A Node.js PostgreSQL client with runtime and build time type safety, and composa

TypeScript4407other

6 days ago

javascriptnodejspostgres

Unleashing the real power of Core Data with the elegance and safety of Swift

Swift3944mit

3 months ago

carthagecocoapodscore-data

Infer# is an interprocedural and scalable static code analyzer for C#. Via the c

C#717mit

4 months ago

Rust Memory Safety & Undefined Behavior Detection

Rust1287apache-2.0

2 months ago

🔥 Write V9 like Firestore Admin code with extreme type safety.

TypeScript36mit

4 months ago

firebasefirestorescalable

The distributed financial transactions database designed for mission critical sa

Zig3348apache-2.0

6 months ago

A smarter shell and scripting environment with advanced features designed for us

Go1388gpl-2.0

yesterday

bashconsolecsv

The distributed financial accounting database designed for mission critical safe

Zig2698apache-2.0

11 months ago

A flexible web framework that promotes stability, safety, security and speed.

Rust2216other

3 months ago

asyncgothamlearning-gotham

A Scala DSL for talking with databases with minimum verbosity and maximum type s

Scala583apache-2.0

8 months ago

Library implementing the Responsibility Sensitive Safety model (RSS) for Autonom

C++327lgpl-2.1

7 days ago

autonomous-vehiclesrsssafety

jsoup: the Java HTML parser, built for HTML editing, cleaning, scraping, and XSS

Java10397mit

6 months ago

csscss-selectorsdom

Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢

Rust2687mit

4 months ago

intralingualkerneloperating-system

Description Authy brings the future of two-factor authentication to the conve

Java424other

6 months ago

awsbastion-hostec2

Description Authy brings the future of two-factor authentication to the conve

Java3107other

22 days ago

bastion-hostjavajavascript

79mit

2 years ago

Open Autonomous Safety

JavaScript176mit

6 years ago

A Protocol-Oriented NotificationCenter which is type safe, thread safe and with

Swift638mit

5 years ago

Guide a ball to safety avoiding swarms of enemies

Java4gpl-3.0

2 years ago

An Ada 2012 project that implements reference counting approaches to resource ma

Ada8isc

last year

VK², Kotlin Wrapper for Vulkan: code expressiveness and safety meet graphic powe

Kotlin120apache-2.0

last year

lwjglvulkanvulkan-library

📏 Dimension based safety in elixir

Elixir21mit

6 years ago

conversionelixirtypes

Blacklists and whitelists that aim to promote security, safety, and sanity acros

Shell106agpl-3.0

2 years ago

adblock-listblackhole-listsblacklist

⚡️ Fast async task based Swift framework with focus on type safety, concurrency

Swift806mit

7 years ago

concurrencymulti-threadingswift

SLAyer is an automatic formal verification tool that uses separation logic to ve

OCaml321other

8 years ago

Wasabee: a Web browser with safety focus. Project is in early development stage.

Ada7

4 years ago

adaada-languageweb-browser

📻 LocalRadio is "Radio for Cord-Cutters" – a Software-Defined Radio (SDR) app f

Objective-C349gpl-2.0

2 years ago

androidaudioaviation

Description Plan and navigate your next outdoor adventure with Hikingbook. Fi

Swift1319mit

3 years ago

cocoapodsswifttimeline

Description Expecting? Watch your baby grow every day with Ovia Pregnancy! Ov

Swift871mit

2 years ago

cardscardstackcardview