vlj

YAGF

Yet Another GL Framework

rpcs3

PS3 emulator/debugger

TressFX

DirectX 11 library that provides convenient access to realistically rendered and simulated hair and fur

VisualFontRecognition

analysis

Mathematical Components compliant Analysis Library

AOFX

DirectX 11 library that provides a scalable and GCN-optimized ambient occlusion (AO) solution

atanua

Atanua Real-Time Logic Simulator

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

GeometryProcessing

Some tools for geometry

odon-

vcpkg

VC++ Packaging Tool

vkImageProcessing

A collection of image processing algorithms written in Haskell

vscoq

Coq Support for Visual Studio Code

vscoq-1

A Visual Studio Code extension for Coq [maintainer=@maximedenes]

warzone2100

Warzone 2100 - a free and open source real time strategy game. Please note, we prefer trac tickets over pull requests! Read http://forums.wz2100.net/viewtopic.php?f=6&t=11570 for full information!

YAGE

Yet Another GL Engine