KurrentDB is a database that's engineered for modern software applications and event-driven architectures. Its event-native design simplifies data modeling and preserves data integrity while the in…

The P programming language.

Dafny is a verification-aware programming language

Free open source office suite with business productivity tools: document and project management, CRM, mail aggregator.

ILGPU JIT Compiler for high-performance .Net GPU programs

A Red Alert 2 mod for the OpenRA game engine

Tunnel TCP connections through a file

Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the…

Windows Dependencies

SQL Runtime without any database

BDInfo from http://www.cinemasquid.com/blu-ray/tools/bdinfo

Mods can be used to Create or Open/Edit and Generate packages for Synology

HeuristicLab - An environment for heuristic and evolutionary optimization