Simple Turn-based Game
- ada
- game
- raylib
- turn-based
Repository Index
47,133 repositories indexed
1–24 of 46 · Most stars
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- ada
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Ada Web Application - Framework to build high performance secure web applications
Thick Ada binding for OpenGL and GLFW
- glfw
- ada
- opengl-bindings
- ada-binding
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
This project is obsolete is no longer developed, maintained or serviced!
A secure and high performances microkernel for building secure MCU-based IoTs
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
Ada-language framework
- ada
- ada-language
- arm
- avr
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
Ada-bindings for 0mq
Ada support for OpenAPI code generator
An attempt at a minimalistic and secure operating system.
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
- ada
- ada-language
- image-processing
- gif
AdaGate is a kid-friendly 3D dungeon escape game within a Stargate fantasy setting for Windows, OSX & most Linux distros. A tribute to Narbacular Drop with mind bending spacial interconnections.
- game
- portal
- stargate
- kawoosh
Standard Ada library specification as defined in Reference Manual
Ada Security - OAuth 2.0 client and server framework to secure web applications
- oauth
- openid
- authentication
- permissions
GLOBE_3D: a real-time 3D Engine written in Ada
- ada
- ada-language
- 3d-engine
- opengl
Sound Synthetizer Library implemented in Ada, from wavtable it resamples the elements and permit to create chords and notes from it. It use soundio, or alsa or win32 sound subsystem
- sound
- synthetizer
- wav
- win32mm
Ethernet traffic monitor on a STM32F746 board
Ada binding for the Pebble Time smartwatch