returned for Tags:"safety-critical"
S# ("safety sharp") is a formal modeling and safety analysis framework for safety-critical systems developed by the Institute for Software and Systems Engineering at the University of Augsburg. S# provides a domain specific modeling language and fully automated formal safety analysis tools based on...
A library for carefully refactoring critical paths
Total functions made convenient for F# and C#
Xamarin bindings for Sitata's native Android SDK
Xamarin bindings for Sitata's services
A small library to navigate null-safely through objects.
Select partial functions made to have warnings in F#
An in-memory, thread-safe, self-expiring cache.
Signed Xamarin Google Play Services - Safety Net assemblies for Intersoft Crosslight.
DotNetVault is a library and static code analysis tool that makes managing shared mutable state in multi-threaded applications more manageable and less error prone. Where errors do still occur, they are easier to locate and identify.
A full project description is included in "DotNetVault...
Simple performance helpers are a small toolkit to enable you to enhance the speed of your website focusing on mobile first responsive design
An obsessively simple and performant library for protecting critical sections.
A collection of classes to simplify basic concurrency patterns like associating a lock with an object.
A useful service class that provides functionality for generating and validating JWTs.
Google ReCaptcha wrapper class for quick and easy validation (injectable service for ASP.NET Core apps).
Recommended Google client library to access the Google Cloud Web Risk API, which lets client applications check URLs against Google's constantly updated lists of unsafe web resources.
This library exposes foundational, general-purpose features, including: concurrency control abstractions, configurable types, fluent argument validation and object lifetime management.