.NET debugger and assembly editor

.NET Decompiler with support for PDB generation, ReadyToRun, Metadata (&more) - cross-platform!

One framework for creating powerful cross-platform games.

ML.NET is an open source and cross-platform machine learning framework for .NET.

Fast persistent recoverable log and key-value store + cache, in C# and C++.

OptiKey - Full computer control and speech with your eyes

An in-game UI for exploring, debugging and modifying IL2CPP and Mono Unity games.

Primary repository for the x360ce library, front-end and tools.

A great starting point for your 2D controller. Making use of all the hidden tricks like coyote, buffered actions, speedy apex, anti grav apex, etc

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

Offline Yu-Gi-Oh! Master Duel

A binary static analysis tool that provides security and correctness results for Windows Portable Executable and *nix ELF binary formats

Extra bank space for Titan Quest Anniversary Edition

Sample applications to demonstrate how to use the Trill library and API

A static verifier for concurrent C programs

Yu-Gi-Oh Legacy of the Duelist helper tool

FORMULA 2.0: Formal Specifications for Verification and Synthesis

Static Module Verifier technology enables full module analysis using Microsoft Azure.