explicit

Here are 3 public repositories matching this topic...

A standard library for verified C — with explicit, composable verified primitives that can scale.

A Thin, low-level, explicit, cross-platform abstraction layer in C

c windows linux low-level system-programming explicit abstraction-layer c-cross-platform

1D simulation of a two-phase thermal energy storage system using explicit and implicit methods

Add a description, image, and links to the explicit topic page so that developers can more easily learn about it.

To associate your repository with the explicit topic, visit your repo's landing page and select "manage topics."