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

Python1538cc0-1.0

7 months ago

awesome-listawesome-listssafety

82mit

2 years ago

Open Autonomous Safety

JavaScript179mit

6 years ago

ROS driver for SICK safety laser scanners

C++60apache-2.0

5 months ago

driverlaserscannermicroscan3

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

Swift639mit

5 years ago

A C++14-compatible physical units library with no dependencies and a single-file

C++327apache-2.0

24 days ago

bazelcompile-timecpp

Guide a ball to safety avoiding swarms of enemies

Java4gpl-3.0

3 years ago

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

TypeScript4594other

6 days ago

javascriptnodejspostgres

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

Swift4010mit

21 days ago

carthagecocoapodscore-data

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

Kotlin133apache-2.0

2 years ago

lwjglvulkanvulkan-library

📏 Dimension based safety in elixir

Elixir21mit

6 years ago

conversionelixirtypes

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

C#732mit

10 months ago

Rust Memory Safety & Undefined Behavior Detection

Rust1319apache-2.0

8 months ago

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

TypeScript37mit

7 months ago

firebasefirestorescalable

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

Go1498gpl-2.0

6 days ago

bashconsolecsv

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

Swift806mit

7 years ago

concurrencymulti-threadingswift

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

Rust2231other

6 months ago

asyncgothamlearning-gotham

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

OCaml326other

8 years ago

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

Scala584apache-2.0

4 months ago

Ensure your password safety by scanning in real data breaches.

Kotlin60gpl-3.0

25 days ago

androidandroid-appandroid-application

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

C++339lgpl-2.1

3 days ago

autonomous-vehiclesrsssafety

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

Objective-C370gpl-2.0

2 years ago

androidaudioaviation

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

Rust2810mit

4 months ago

intralingualkerneloperating-system

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

Swift1324mit

4 years ago

cocoapodsswifttimeline

Description codeSpark is the #1 learn-to-code app for kids ages 3-10. We have

1043cc0-1.0

7 months ago

awesomeawesome-listipad

Description Your use of the Authy App is subject to these Authy App Terms (ww

Java426other

8 months ago

awsbastion-hostec2

Description Your use of the Authy App is subject to these Authy App Terms (ww

Java3187other

6 months ago

bastion-hostjavajavascript

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

Swift916mit

3 months ago

cardscardstackcardview

Description PBS KIDS Games makes learning fun & safe with 250+ educational ga

532cc0-1.0

2 years ago

awesomeawesome-listcraft

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

Python1538cc0-1.0

7 months ago

awesome-listawesome-listssafety

82mit

2 years ago

Open Autonomous Safety

JavaScript179mit

6 years ago

ROS driver for SICK safety laser scanners

C++60apache-2.0

5 months ago

driverlaserscannermicroscan3

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

Swift639mit

5 years ago

A C++14-compatible physical units library with no dependencies and a single-file

C++327apache-2.0

24 days ago

bazelcompile-timecpp

Guide a ball to safety avoiding swarms of enemies

Java4gpl-3.0

3 years ago

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

TypeScript4594other

6 days ago

javascriptnodejspostgres

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

Swift4010mit

21 days ago

carthagecocoapodscore-data

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

Kotlin133apache-2.0

2 years ago

lwjglvulkanvulkan-library

📏 Dimension based safety in elixir

Elixir21mit

6 years ago

conversionelixirtypes

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

C#732mit

10 months ago

Rust Memory Safety & Undefined Behavior Detection

Rust1319apache-2.0

8 months ago

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

TypeScript37mit

7 months ago

firebasefirestorescalable

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

Go1498gpl-2.0

6 days ago

bashconsolecsv

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

Swift806mit

7 years ago

concurrencymulti-threadingswift

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

Rust2231other

6 months ago

asyncgothamlearning-gotham

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

OCaml326other

8 years ago

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

Scala584apache-2.0

4 months ago

Ensure your password safety by scanning in real data breaches.

Kotlin60gpl-3.0

25 days ago

androidandroid-appandroid-application

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

C++339lgpl-2.1

3 days ago

autonomous-vehiclesrsssafety

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

Objective-C370gpl-2.0

2 years ago

androidaudioaviation

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

Rust2810mit

4 months ago

intralingualkerneloperating-system

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

Swift1324mit

4 years ago

cocoapodsswifttimeline

Description codeSpark is the #1 learn-to-code app for kids ages 3-10. We have

1043cc0-1.0

7 months ago

awesomeawesome-listipad

Description Your use of the Authy App is subject to these Authy App Terms (ww

Java426other

8 months ago

awsbastion-hostec2

Description Your use of the Authy App is subject to these Authy App Terms (ww

Java3187other

6 months ago

bastion-hostjavajavascript

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

Swift916mit

3 months ago

cardscardstackcardview

Description PBS KIDS Games makes learning fun & safe with 250+ educational ga

532cc0-1.0

2 years ago

awesomeawesome-listcraft