mosteo Goto Github PK
Name: Alejandro R Mosteo
Type: User
Company: Centro Universitario de la Defensa de Zaragoza
Bio: Computer Scientist. Mobile robotics researcher. Ada enthusiast.
Location: Spain
Blog: http://www.mosteo.com
Name: Alejandro R Mosteo
Type: User
Company: Centro Universitario de la Defensa de Zaragoza
Bio: Computer Scientist. Mobile robotics researcher. Ada enthusiast.
Location: Spain
Blog: http://www.mosteo.com
Materials for the Alire tutorial at AEiC'22
Alex's Ada Assortment
AASET: Automatic Ada Symbolic Execution Tool
github actions (mostly GNAT Ada related)
Private project to keep track of issues via waffle.io
TOML parser for Ada
Voxel Space render engine demo in Ada. Inspired by https://github.com/s-macke/VoxelSpace
cmake macros for simple gnat project inclusion
Ready-to-use workflows to add Continuous Integration to Ada projects
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
G2 network server leaf
Ada General Purpose Library -- Miscellaneous utilities
Generator of JUnit-compatible XML reports in Ada
Command-line tool from the Alire project and supporting library
CI testing of crates in default alire index
Community index for the Alire project
Design of an Ada language library repository
My personal index for work-in-progress crates not meriting publication
Official website for the project
ANSI control sequences for the Ada language
Alex's Reusable Miscellaneous Code
Tool to ascertain folder sizes from the command line
My brute-force solution to John Barnes' riddle in Ada-Europe 2018
My personal assessment on btrfs status vs the official one at https://btrfs.wiki.kernel.org/index.php/Status
Odds for the Can't stop game
GitHub Action to check author permision on Alire crate files
Command Line Interface Components
Command-Line Utilities for Linux
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.