• Stars
    star
    1
  • Language
    Ada
  • License
    Apache License 2.0
  • Created 10 months ago
  • Updated 9 months ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Reads commands and executes them in parallel.

More Repositories

1

cortex-gnat-rts

This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit (v1)
Ada
60
star
2

distributing-gcc

Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.
Makefile
32
star
3

building-gcc-macos-native

Scripts for building GCC on macOS
Shell
11
star
4

ews

The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.
Ada
11
star
5

stack_usage

Calculates the maximum stack depth required by GCC-compiled code
Python
10
star
6

analytical-engine

An Ada 2012 emulation of Charles Babbage’s Analytical Engine
Ada
9
star
7

ACATS

The Ada Conformity Assessment Test Suite, customised for GCC.
Ada
9
star
8

tcladashell

Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
Ada
9
star
9

ASIS

Supports building the Ada Semantic Interface Specification library and tools for FSF GCC variants. Tracks AdaCore CE releases.
Ada
8
star
10

coldframe

ColdFrame generates Ada framework code and documentation from UML models.
Ada
8
star
11

nuweb.py

Literate programming in LaTeX; programming languages of your choice
Python
5
star
12

xia

An Ada implementation of XPath 1.0.
Ada
4
star
13

dhondt

Ada implementation of D’Hondt electoral result calculator
Ada
4
star
14

alire-index.mac

Index of Alire crate versions catering for macOS idiosyncrasies
4
star
15

building-gcc-macos-arm-eabi

Scripts for building GCC on macOS as a cross-compiler to arm-eabi
Shell
3
star
16

adagoop

Generator of object-oriented parsers in Ada
Ada
3
star
17

libadalang2xml

Generates an XML representation of Ada source using libadalang.
Ada
2
star
18

asis2xml

Converts Ada sources’ ASIS representation to XML, so as to make it easier to develop reporting and transformational tools using (for example) XSLT.
Ada
2
star
19

leak_detector

Reports memory leaks in Ada programs.
Ada
2
star
20

xcode_15_fix

Xcode/CLT version 15 introduced problems for Ada programming on macOS.
Ada
2
star
21

Quaternions

An Ada library to support using quaternions.
Ada
2
star
22

macos-sdks-vs-gcc

Provides GCC 'specs' files to cope with macOS SDK policy changes
Ada
1
star
23

synchronized_output

Supports text logging from multiple tasks
Ada
1
star
24

gnat_util

Provides access to GNAT compiler internals for AdaCore utilities
Makefile
1
star
25

scripted_testing

Supports functional testing using Tcl scripts.
Ada
1
star
26

ACATS-grading

Tools for grading ACATS results, modified for Unix-like systems
Shell
1
star
27

minimal_containers

Just enough containers for ColdFrame.
Ada
1
star
28

trace_utilities

Support for presenting traceback information.
Ada
1
star