ReazGan / tarndb

Crash-safe embedded key-value store in C

open-quantum-safe / liboqs

C library for prototyping and experimenting with quantum-resistant cryptography

littlefs-project / littlefs

A little fail-safe filesystem designed for microcontrollers

vmg / redcarpet

The safe Markdown parser, reloaded.

google / wuffs

Wrangling Untrusted File Formats Safely

concurrencykit / ck

Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance concurrent systems developed in C99+.

HardySimpson / zlog

A reliable, high-performance, thread safe, flexsible, clear-model, pure C logging library.

stclib / STC

A modern, user friendly, generic, type-safe and fast C99 container library: String, Vector, Sorted and Unordered Map and Set, Deque, Forward List, Smart Pointers, Bitset and Random numbers.

tuxera / ntfs-3g

NTFS-3G Safe Read/Write NTFS Driver

rauc / rauc

Safe and secure software updates for embedded Linux

P-p-H-d / mlib

M*LIB is a library of generic and type safe containers / data structures in pure C language (C99 / C11) for a wide collection of container (comparable to the C++ STL).

FascinatedBox / lily

Interpreted language focused on expressiveness and type safety.

bao-project / bao-hypervisor

Bao, a Lightweight Static Partitioning Hypervisor

area9innovation / flow9

Platform for safe, easy and productive programming of complex, multi-platform apps with a modern user interface

jondgoodwin / cone

Cone Programming Language

open-quantum-safe / oqs-provider

OpenSSL 3+ provider containing post-quantum algorithms

giuliosmall / pg_typesafe

Pre-alpha PostgreSQL extension for TypeSafe AI (Jev) categorical classification