AdaDoom3

AdaDoom3

Id Software's Id-tech-4-BFG in the Ada programming language.

ada-spark-rfcs

ada-spark-rfcs-1

Platform to submit RFCs for the Ada & SPARK languages

Ada-WinRT

Ada bindings to the Microsft WinRT Api

bitcoin-wallet-api

oculus-networked-physics-sample

This is a networked physics sample for Rift built in Unity.

vk_raytrace

Ray tracing glTF scene with Vulkan

AdaGate

AdaGate is a first-person 3D sokoban puzzle game within a Stargate / Portal fantasy setting for Windows, OS-X and Linux

adasockets

BSD sockets in Ada

adavulkan

Ada 2012 binding to Vulkan

bitcoin_script

An ada bitcoin script interpreter

castle-engine

Cross-platform 3D and 2D game engine with a lot of graphic effects and a scene graph based on X3D

completely-unscientific-benchmarks

Naive performance comparison of a few programming languages (JavaScript, Kotlin, Rust, Swift, Nim, Python, Go, Haskell, D, C++, Java, C#, Object Pascal, Ada)

Falcor

Real-Time Rendering Framework

gps

The GNAT Programming Studio.

learn

Sources for learn.adacore.com

Moondust

OpenGLAda

Thick Ada binding for OpenGL and GLFW

oto

Ada binding to OpenAL which tries to mimic original API while using Ada types.

PhysX

NVIDIA PhysX SDK

PhysX-3.4

NVIDIA PhysX SDK 3.4

reactos

A free Windows-compatible Operating System

Spire

SXML

toy

upsat_msc_thesis

V-EZ

vkDOOM3

Vulkan DOOM 3 port based on DOOM 3 BFG Edition

wayland_ada_binding

Wayland Client Ada binding

xenko

Xenko Game Engine