mosteo
Computer Scientist. Mobile robotics researcher. Ada enthusiast.
Centro Universitario de la Defensa de ZaragozaSpain
Pinned Repositories
ada4ros2
Ada binding and tools for ROS2 - workspace overlay and documentation
alire
Command-line tool from the Alire project and supporting library
alire-old-discussion
Design of an Ada language library repository
btrfs-status
My personal assessment on btrfs status vs the official one at https://btrfs.wiki.kernel.org/index.php/Status
clutter
Command-Line Utilities for Linux
iterators
Functional iterators for Ada 2012
rxada
An Ada 2012 implementation of the Rx methodology
saudefense
A MATLAB game to demonstrate feedback control
sheetmusic
Transcriptions of public domain music using Lilypond and Musescore
yeison
A json-like data structure library in Ada
mosteo's Repositories
mosteo/rxada
An Ada 2012 implementation of the Rx methodology
mosteo/stopwatch
A type to track elapsed time
mosteo/unitest
Test of unicode flags in GNAT
mosteo/workers
Simple-to-use worker pools for Ada
mosteo/aaa
Alex's Ada Assortment
mosteo/optional
Optional types for Ada
mosteo/ada-toml
TOML parser for Ada
mosteo/alire
Command-line tool from the Alire project and supporting library
mosteo/den
Directory Enumeration for Ada
mosteo/minirest
Minimalist REST Ada client library
mosteo/toml_slicer
TOML file direct manipulation without parsing
mosteo/umwi
Unicode Monospace Width Information
mosteo/utf8test
Test unicode output with `-gnatW8`
mosteo/aaset
AASET: Automatic Ada Symbolic Execution Tool
mosteo/alire-crates-ci
CI testing of crates in default alire index
mosteo/alire-index
Community index for the Alire project
mosteo/clic
Command Line Interface Components
mosteo/compare_to_case
Turn "<" comparison into a three-way case
mosteo/cstrings
Convenience subprograms to interact with C strings
mosteo/dirty_booleans
Comparisons with anything that may seem True/False
mosteo/diskflags
Management of small files on disk to flag conditions
mosteo/gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
mosteo/ncdu-ada
Enumerate a folder tree
mosteo/RedReader
An unofficial open source Android app for Reddit.
mosteo/rsfile
Command-line utility that picks a file from a folder hierarchy with probability proportional to its size
mosteo/rust-tutorial
AEiC 2023 rust tutorial exercises
mosteo/setup-alire
GitHub action to setup Alire (the Ada/SPARK package manager)
mosteo/si_units
Utility library to pretty print physical values in proper metric units
mosteo/test-index
Index for tests that require an online index
mosteo/test_crate
A dummy test crate