mosteo

Alejandro R Mosteo's repositories

rxada

An Ada 2012 implementation of the Rx methodology

Language:AdaLGPL-3.017 2 15

stopwatch

A type to track elapsed time

Language:AdaMIT3 10

unitest

Test of unicode flags in GNAT

Language:AdaMIT3 10

workers

Simple-to-use worker pools for Ada

Language:AdaMIT3 10

aaa

Alex's Ada Assortment

Language:AdaLGPL-3.02 2 1

ada-toml

TOML parser for Ada

Language:AdaBSD-3-Clause1 20

alire

Command-line tool from the Alire project and supporting library

Language:AdaGPL-3.0100

den

Directory Enumeration for Ada

Language:Ada1 20

minirest

Minimalist REST Ada client library

Language:AdaMIT1 10

toml_slicer

TOML file direct manipulation without parsing

Language:AdaMIT1 10

umwi

Unicode Monospace Width Information

Language:Ada1 10

utf8test

Test unicode output with `-gnatW8`

Language:AdaMIT1 10

aaset

AASET: Automatic Ada Symbolic Execution Tool

Language:PythonGPL-3.0000

alire-crates-ci

CI testing of crates in default alire index

Language:Shell000

alire-index

Community index for the Alire project

GPL-3.0000

clic

Command Line Interface Components

Language:AdaMIT000

cstrings

Convenience subprograms to interact with C strings

Language:AdaLGPL-3.0010

dirty_booleans

Comparisons with anything that may seem True/False

Language:AdaMIT010

diskflags

Management of small files on disk to flag conditions

Language:AdaAGPL-3.0010

gnatstudio

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

Language:Ada000

ncdu-ada

Enumerate a folder tree

Language:Ada010

RedReader

An unofficial open source Android app for Reddit.

Language:JavaGPL-3.0000

rsfile

Command-line utility that picks a file from a folder hierarchy with probability proportional to its size

Language:AdaGPL-3.001 2

rust-tutorial

AEiC 2023 rust tutorial exercises

Language:RustMIT000

setup-alire

GitHub action to setup Alire (the Ada/SPARK package manager)

Language:TypeScriptMIT000

si_units

Utility library to pretty print physical values in proper metric units

Language:AdaWTFPL000

test-index

Index for tests that require an online index

MIT000

test_crate

A dummy test crate

Language:Ada010

wordle_ada

A demo Wordle implementation for the terminal in Ada

Language:AdaMIT010

wordlelib_ada

An Ada library that implements most of the Wordle game logic

Language:AdaGPL-3.0010