• Stars
    star
    1
  • Language
    Ada
  • License
    Other
  • Created over 1 year ago
  • Updated over 1 year ago

Reviews

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

Repository Details

Just enough containers for ColdFrame.

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

trace_utilities

Support for presenting traceback information.
Ada
1
star
28

parallelize

Reads commands and executes them in parallel.
Ada
1
star