Null Safety

NullAwayJava

A fast annotation-based null checker for Java that eliminates NullPointerExceptions with low build-time overhead.

NullAwayJava

A fast, annotation-based null checker for Java that eliminates NullPointerExceptions with low build-time overhead.

CSharpFunctionalExtensionsC#

A C# library providing functional programming constructs like Result and Maybe types to write more robust and expressive code.

FreezedDart

Code generation for immutable classes in Dart/Flutter with a simple syntax and comprehensive features.

true-mythTypeScript

Safe, idiomatic TypeScript library for handling null, errors, and async operations with Maybe, Result, and Task types.

Dataflow FrameworkJava

A pluggable type-checking framework for Java that detects and prevents bugs through custom type qualifiers.

OptionalC#

A robust option/maybe type for C# that provides a strongly typed alternative to null values, preventing null-reference exceptions.

PraticaTypeScript

A pragmatic JavaScript library providing functional algebraic data types (Maybe, Result) with a simplified API for safe data handling.

FSharp.JsonF#

A reflection-based JSON serialization library for F# with built-in null safety and F# type support.

optionalsTypeScript

Rust-like Option and Result types for TypeScript and Deno to eliminate null/undefined and improve error handling.

FumbleCSS

A thin functional F# wrapper for SQLite that simplifies data access with a composable API and null-safe operations.