awesome-safety-critical
List of resources about programming practices for writing safety-critical softwa
Python1520cc0-1.0
6 days ago
awesome-listawesome-listssafety
sick_safetyscanners
ROS driver for SICK safety laser scanners
C++60apache-2.0
10 days ago
driverlaserscannermicroscan3
SwiftNotificationCenter
A Protocol-Oriented NotificationCenter which is type safe, thread safe and with
Swift637mit
5 years ago
excellent_migrations
An Elixir tool for checking safety of database migrations.
Elixir195mit
3 months ago
astcode-analysiscredo
slonik
A Node.js PostgreSQL client with runtime and build time type safety, and composa
TypeScript4384other
5 days ago
javascriptnodejspostgres
auto_counters
An Ada 2012 project that implements reference counting approaches to resource ma
Ada8isc
last year
CoreStore
Unleashing the real power of Core Data with the elegance and safety of Swift
Swift3942mit
2 months ago
carthagecocoapodscore-data
vkk
VK², Kotlin Wrapper for Vulkan: code expressiveness and safety meet graphic powe
Kotlin120apache-2.0
last year
lwjglvulkanvulkan-library
infersharp
Infer# is an interprocedural and scalable static code analyzer for C#. Via the c
C#717mit
3 months ago
black-mirror
Blacklists and whitelists that aim to promote security, safety, and sanity acros
Shell106agpl-3.0
last year
adblock-listblackhole-listsblacklist
Firelord
🔥 Write V9 like Firestore Admin code with extreme type safety.
TypeScript36mit
3 months ago
firebasefirestorescalable
tigerbeetle
The distributed financial transactions database designed for mission critical sa
Zig3348apache-2.0
5 months ago
murex
A smarter shell and scripting environment with advanced features designed for us
Go1364gpl-2.0
11 days ago
bashconsolecsv
Overdrive
⚡️ Fast async task based Swift framework with focus on type safety, concurrency
Swift806mit
7 years ago
concurrencymulti-threadingswift
tigerbeetle
The distributed financial accounting database designed for mission critical safe
Zig2698apache-2.0
10 months ago
gotham
A flexible web framework that promotes stability, safety, security and speed.
Rust2216other
2 months ago
asyncgothamlearning-gotham
SLAyer
SLAyer is an automatic formal verification tool that uses separation logic to ve
OCaml321other
8 years ago
squeryl
A Scala DSL for talking with databases with minimum verbosity and maximum type s
Scala583apache-2.0
7 months ago
ad-rss-lib
Library implementing the Responsibility Sensitive Safety model (RSS) for Autonom
C++325lgpl-2.1
5 days ago
autonomous-vehiclesrsssafety
jsoup
jsoup: the Java HTML parser, built for HTML editing, cleaning, scraping, and XSS
Java10397mit
5 months ago
csscss-selectorsdom
wasabee
Wasabee: a Web browser with safety focus. Project is in early development stage.
Ada7
4 years ago
adaada-languageweb-browser
LocalRadio
📻 LocalRadio is "Radio for Cord-Cutters" – a Software-Defined Radio (SDR) app f
Objective-C349gpl-2.0
2 years ago
androidaudioaviation
Theseus
Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢
Rust2687mit
4 months ago
intralingualkerneloperating-system
TimelineTableViewCell
Description Plan and navigate your next outdoor adventure with Hikingbook. Fi
Swift1319mit
3 years ago
cocoapodsswifttimeline
Bastillion-EC2
Description Authy brings the future of two-factor authentication to the conve
Java424other
5 months ago
awsbastion-hostec2
Bastillion
Description Authy brings the future of two-factor authentication to the conve
Java3097other
last month
bastion-hostjavajavascript
Shuffle
Description Expecting? Watch your baby grow every day with Ovia Pregnancy! Ov
Swift868mit
2 years ago
cardscardstackcardview
awesome-safety-critical
List of resources about programming practices for writing safety-critical softwa
Python1520cc0-1.0
6 days ago
awesome-listawesome-listssafety
sick_safetyscanners
ROS driver for SICK safety laser scanners
C++60apache-2.0
10 days ago
driverlaserscannermicroscan3
SwiftNotificationCenter
A Protocol-Oriented NotificationCenter which is type safe, thread safe and with
Swift637mit
5 years ago
excellent_migrations
An Elixir tool for checking safety of database migrations.
Elixir195mit
3 months ago
astcode-analysiscredo
slonik
A Node.js PostgreSQL client with runtime and build time type safety, and composa
TypeScript4384other
5 days ago
javascriptnodejspostgres
auto_counters
An Ada 2012 project that implements reference counting approaches to resource ma
Ada8isc
last year
CoreStore
Unleashing the real power of Core Data with the elegance and safety of Swift
Swift3942mit
2 months ago
carthagecocoapodscore-data
vkk
VK², Kotlin Wrapper for Vulkan: code expressiveness and safety meet graphic powe
Kotlin120apache-2.0
last year
lwjglvulkanvulkan-library
infersharp
Infer# is an interprocedural and scalable static code analyzer for C#. Via the c
C#717mit
3 months ago
black-mirror
Blacklists and whitelists that aim to promote security, safety, and sanity acros
Shell106agpl-3.0
last year
adblock-listblackhole-listsblacklist
Firelord
🔥 Write V9 like Firestore Admin code with extreme type safety.
TypeScript36mit
3 months ago
firebasefirestorescalable
tigerbeetle
The distributed financial transactions database designed for mission critical sa
Zig3348apache-2.0
5 months ago
murex
A smarter shell and scripting environment with advanced features designed for us
Go1364gpl-2.0
11 days ago
bashconsolecsv
Overdrive
⚡️ Fast async task based Swift framework with focus on type safety, concurrency
Swift806mit
7 years ago
concurrencymulti-threadingswift
tigerbeetle
The distributed financial accounting database designed for mission critical safe
Zig2698apache-2.0
10 months ago
gotham
A flexible web framework that promotes stability, safety, security and speed.
Rust2216other
2 months ago
asyncgothamlearning-gotham
SLAyer
SLAyer is an automatic formal verification tool that uses separation logic to ve
OCaml321other
8 years ago
squeryl
A Scala DSL for talking with databases with minimum verbosity and maximum type s
Scala583apache-2.0
7 months ago
ad-rss-lib
Library implementing the Responsibility Sensitive Safety model (RSS) for Autonom
C++325lgpl-2.1
5 days ago
autonomous-vehiclesrsssafety
jsoup
jsoup: the Java HTML parser, built for HTML editing, cleaning, scraping, and XSS
Java10397mit
5 months ago
csscss-selectorsdom
wasabee
Wasabee: a Web browser with safety focus. Project is in early development stage.
Ada7
4 years ago
adaada-languageweb-browser
LocalRadio
📻 LocalRadio is "Radio for Cord-Cutters" – a Software-Defined Radio (SDR) app f
Objective-C349gpl-2.0
2 years ago
androidaudioaviation
Theseus
Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢
Rust2687mit
4 months ago
intralingualkerneloperating-system
TimelineTableViewCell
Description Plan and navigate your next outdoor adventure with Hikingbook. Fi
Swift1319mit
3 years ago
cocoapodsswifttimeline
Bastillion-EC2
Description Authy brings the future of two-factor authentication to the conve
Java424other
5 months ago
awsbastion-hostec2
Bastillion
Description Authy brings the future of two-factor authentication to the conve
Java3097other
last month
bastion-hostjavajavascript
Shuffle
Description Expecting? Watch your baby grow every day with Ovia Pregnancy! Ov
Swift868mit
2 years ago
cardscardstackcardview