13 packages returned for Tags:"safety"

Total functions made convenient for F# and C#

Select partial functions made to have warnings in F#

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... More information

Xamarin bindings for Sitata's native Android SDK

Xamarin bindings for Sitata's services

A small library to navigate null-safely through objects.

Signed Xamarin Google Play Services - Safety Net assemblies for Intersoft Crosslight.

A collection of classes to simplify basic concurrency patterns like associating a lock with an object.

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.

An in-memory, thread-safe, self-expiring cache.

Google ReCaptcha wrapper class for quick and easy validation (injectable service for ASP.NET Core apps).

A useful service class that provides functionality for generating and validating JWTs.

This library exposes foundational, general-purpose features, including: concurrency control abstractions, configurable types, fluent argument validation and object lifetime management.