pmderodat Goto Github PK

access-type-detector

ada-generators

Experimental support for coroutines-based generators in Ada

ada-pdb

Ada library to handle PDB files

ada-sexp

Ada library to read/write S-Expressions

ada-synth-lib

Simple audio synthesis library

ada-toml

TOML parser for Ada

ada_drivers_library

Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

ada_language_server

prototype implementation of the Microsoft Language Server Protocol for Ada/SPARK

adareducer

adayaml

experimental YAML 1.3 implementation in Ada

alire

Command-line tool from the Alire project

alire-index

Indexed projects and supporting data types of the Alire project

awesome-ada

A curated list of awesome resources related to the Ada and SPARK programming language

aws

AWS is a complete framework to develop Web based applications in Ada.

cv2pdb

converter of DMD CodeView/DWARF debug information to PDB files

decompil

Tentative decompiler for GCDSP

dithering

Toy project to implement the Floyd-Steinberg dithering algorithm

dolphin

Dolphin is a GameCube/Wii emulator, allowing you to play games for these two platforms on PC, with improvements.

dwarf-ada-testsuite

Tiny testsuite for GCC’s DWARF/Ada debug information

e3-core

Core framework for developing portable automated build systems

e3-testsuite

e3 testsuite driver

eventail

Toy Ada-to-HTML formatter, including cross-reference links

gcc-internals-gdb

Python scripts for GDB to make it easier to debug GCC

gh-actions-test

Test repository for GitHub actions

gnatcoll-core

GNAT Components Collection – Core packages

langkit

Language creation framework.

langkit-query-language

query language for Libadalang and Langkit

libadalang

Ada semantic analysis library.

libkconfiglang

KConfig semantic analysis library.

libuv

Cross-platform asynchronous I/O