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

Python1520cc0-1.0

6 days ago

awesome-listawesome-listssafety

77mit

2 years ago

Open Autonomous Safety

JavaScript176mit

6 years ago

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

Swift637mit

5 years ago

An Elixir tool for checking safety of database migrations.

Elixir195mit

3 months ago

astcode-analysiscredo

Guide a ball to safety avoiding swarms of enemies

Java4gpl-3.0

2 years ago

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

TypeScript4384other

5 days ago

javascriptnodejspostgres

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

Ada8isc

last year

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

Swift3942mit

2 months ago

carthagecocoapodscore-data

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

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

C#717mit

3 months ago

Rust Memory Safety & Undefined Behavior Detection

Rust1287apache-2.0

2 months ago

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

Shell106agpl-3.0

last year

adblock-listblackhole-listsblacklist

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

TypeScript36mit

3 months ago

firebasefirestorescalable

The distributed financial transactions database designed for mission critical sa

Zig3348apache-2.0

5 months ago

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

Go1364gpl-2.0

11 days ago

bashconsolecsv

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

Swift806mit

7 years ago

concurrencymulti-threadingswift

The distributed financial accounting database designed for mission critical safe

Zig2698apache-2.0

10 months ago

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

Rust2216other

2 months ago

asyncgothamlearning-gotham

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

OCaml321other

8 years ago

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

Scala583apache-2.0

7 months ago

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

C++325lgpl-2.1

6 days ago

autonomous-vehiclesrsssafety

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

Java10397mit

5 months ago

csscss-selectorsdom

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

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

Rust2687mit

4 months ago

intralingualkerneloperating-system

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

Swift1319mit

3 years ago

cocoapodsswifttimeline

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

Java424other

5 months ago

awsbastion-hostec2

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

Java3097other

last month

bastion-hostjavajavascript

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

Swift868mit

2 years ago

cardscardstackcardview

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

Python1520cc0-1.0

6 days ago

awesome-listawesome-listssafety

77mit

2 years ago

Open Autonomous Safety

JavaScript176mit

6 years ago

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

Swift637mit

5 years ago

An Elixir tool for checking safety of database migrations.

Elixir195mit

3 months ago

astcode-analysiscredo

Guide a ball to safety avoiding swarms of enemies

Java4gpl-3.0

2 years ago

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

TypeScript4384other

5 days ago

javascriptnodejspostgres

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

Ada8isc

last year

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

Swift3942mit

2 months ago

carthagecocoapodscore-data

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

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

C#717mit

3 months ago

Rust Memory Safety & Undefined Behavior Detection

Rust1287apache-2.0

2 months ago

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

Shell106agpl-3.0

last year

adblock-listblackhole-listsblacklist

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

TypeScript36mit

3 months ago

firebasefirestorescalable

The distributed financial transactions database designed for mission critical sa

Zig3348apache-2.0

5 months ago

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

Go1364gpl-2.0

11 days ago

bashconsolecsv

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

Swift806mit

7 years ago

concurrencymulti-threadingswift

The distributed financial accounting database designed for mission critical safe

Zig2698apache-2.0

10 months ago

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

Rust2216other

2 months ago

asyncgothamlearning-gotham

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

OCaml321other

8 years ago

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

Scala583apache-2.0

7 months ago

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

C++325lgpl-2.1

6 days ago

autonomous-vehiclesrsssafety

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

Java10397mit

5 months ago

csscss-selectorsdom

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

Ada7

4 years ago

adaada-languageweb-browser

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

Rust2687mit

4 months ago

intralingualkerneloperating-system

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

Swift1319mit

3 years ago

cocoapodsswifttimeline

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

Java424other

5 months ago

awsbastion-hostec2

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

Java3097other

last month

bastion-hostjavajavascript

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

Swift868mit

2 years ago

cardscardstackcardview