Dafny is a verification-aware programming language

CSharpier is an opinionated code formatter for c#.

Trill is a single-node query processor for temporal or streaming data.

Temporal .NET SDK

Unity time rewind solution, that is easily customizable for any project.

Node.net - Node.js implemented in Javascript on the .NET runtime

Samples for working with the Temporal .NET SDK

The core tools for Blade rich client development.

A load generator for Temporal

Read the Transaction Log from SQL Server

Going to (kerbal) space with Temporal Workflows

Trigger based Change Data Capture (CDC)

A reference .NET application implementing an eCommerce site + Temporal.io Workflows