Pinned Repositories
gnat-gdb-scripts
GDB scripts for Ada programs built with GNAT
gnatcoverage
GNATcoverage: Coverage Analysis Tool
langkit
Language creation framework.
libadalang
Ada semantic analysis library.
ada-generators
Experimental support for coroutines-based generators in Ada
ada-toml
TOML parser for Ada
dwarf-ada-testsuite
Tiny testsuite for GCC’s DWARF/Ada debug information
eventail
Toy Ada-to-HTML formatter, including cross-reference links
gcc-internals-gdb
Python scripts for GDB to make it easier to debug GCC
libyaml-ada
Tiny Ada wrapper around the LibYAML C library
pmderodat's Repositories
pmderodat/ada-toml
TOML parser for Ada
pmderodat/ada-generators
Experimental support for coroutines-based generators in Ada
pmderodat/eventail
Toy Ada-to-HTML formatter, including cross-reference links
pmderodat/qbe-ada
Library to easily create QBE programs in Ada
pmderodat/access-type-detector
pmderodat/ada-sexp
Ada library to read/write S-Expressions
pmderodat/ada_language_server
prototype implementation of the Microsoft Language Server Protocol for Ada/SPARK
pmderodat/adareducer
pmderodat/alire
Command-line tool from the Alire project
pmderodat/alire-index
Indexed projects and supporting data types of the Alire project
pmderodat/awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
pmderodat/aws
AWS is a complete framework to develop Web based applications in Ada.
pmderodat/cv2pdb
converter of DMD CodeView/DWARF debug information to PDB files
pmderodat/dithering
Toy project to implement the Floyd-Steinberg dithering algorithm
pmderodat/e3-core
Core framework for developing portable automated build systems
pmderodat/e3-testsuite
e3 testsuite driver
pmderodat/gh-actions-test
Test repository for GitHub actions
pmderodat/gnatcoll-core
GNAT Components Collection – Core packages
pmderodat/langkit
Language creation framework.
pmderodat/langkit-query-language
query language for Libadalang and Langkit
pmderodat/libadalang
Ada semantic analysis library.
pmderodat/libkconfiglang
KConfig semantic analysis library.
pmderodat/miniircd
A very simple Internet Relay Chat (IRC) server
pmderodat/PolyORB
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
pmderodat/pyelftools
Pure-python library for parsing ELF and DWARF
pmderodat/pygments-dwarf
Pygments lexer for objdump's DWARF DIEs output
pmderodat/pygments-gcc
Pygments lexer for various kinds of GCC dumps
pmderodat/sdlada
Ada 2012 bindings to SDL 2
pmderodat/templates-parser
AWS templates engine.
pmderodat/typeshed
Collection of library stubs for Python, with static types