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#
Select partial functions made to have warnings in F#
Simple performance helpers are a small toolkit to enable you to enhance the speed of your website focusing on mobile first responsive design
Xamarin bindings for Sitata's native Android SDK
Xamarin bindings for Sitata's services
An obsessively simple and performant library for protecting critical sections.
A small library to navigate null-safely through objects.
Signed Xamarin Google Play Services - Safety Net assemblies for Intersoft Crosslight.
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.
A collection of classes to simplify basic concurrency patterns like associating a lock with an object.
An in-memory, thread-safe, self-expiring cache.
Google ReCaptcha wrapper class for quick and easy validation (injectable service for ASP.NET Core apps).
This library exposes foundational, general-purpose features, including: concurrency control abstractions, configurable types, fluent argument validation and object lifetime management.
A useful service class that provides functionality for generating and validating JWTs.