The Free Software Media System - Server Backend & API

Integrate cutting-edge LLM technology quickly and easily into your apps

Open Source real-time strategy game engine for early Westwood games such as Command & Conquer: Red Alert written in C# using SDL and OpenGL. Runs on Windows, Linux, *BSD and Mac OS X.

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

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…

Share and collaborate by syncing with any Git repository instantly. Linux, macOS, and Windows

Protocol Buffers library for idiomatic .NET

ACID Document Database

The P programming language.

Dafny is a verification-aware programming language

宇宙级最轻量杀毒软件

Tooll is a new multi-purpose application for creating interactive 3d content and animations. It combines the best aspects of animation, compositing, and coding into a lightweight and intuitive UI. …

Video solution for sport analysis. Capture, inspect, compare, annotate and measure technical performances.

Visual Studio plugin for automatic time tracking and metrics generated from your programming activity.

Dokan SSHFS

Benchmarking storage options for a performance event-driven service backend

The goal of the Tennis Open Data Standards (TODS) project is to create a single data exchange framework that allows the transfer of any tennis-related data between different information systems usi…