Context-based code search tool
- septum
- text
- search-in-text
- grep
Repository Index
47,133 repositories indexed
1–24 of 71 · Most stars
Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
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
Ada 2022 bindings to SDL 2
- sdl
- sdl-ttf
- ada
- ada2012
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
PowerJoular monitors power consumption of multiple platforms and processes, on Windows, Linux and macOS
- ada
- energy
- green
- power
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
Ada Bare Bones OS development tutorial source code
- ada
- port
- bare-bones-tutorial
- bare-bones
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
- ada
- gnat
- cortex
- rts
Ada-language framework
- ada
- ada-language
- arm
- avr
An Ada 2012 library for parsing JSON
- ada
- json-ada
- json
LEA is a Lightweight Editor for Ada
- ada
- ada-language
- editor
- scintilla
The XML/Ada toolkit.
Simple to use cross-platform BDD driver for black box testing
Read-only mirror of https://review.sourcearcade.org/admin/repos/libgfxinit,general. We don't handle pull requests.
The AURA Reference Implementation
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
An Ada 2012 implementation of the Rx methodology
- rx
- rxjava
- rxada
- reactive-programming
Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
- ada
- civilization
- learning-by-doing
- learning
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
Ada Wiki Engine - Parser and renderer for Markdown and other Wiki syntaxes
- wiki-engine
- markdown
- mediawiki
- dotclear
Ada Unicode Extended Strings