- Spain
Block or Report
Block or report mgrojo
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (1)
Sort Name ascending (A-Z)
Language
Sort by: Recently starred
Starred repositories
Ada Security - OAuth 2.0 client and server framework to secure web applications
Miscellaneous useful packages for embedded projects
DasherA is a Data General DASHER D200/D210 terminal emulator
Tooling for analysis and manipulation of Ada software
Loads environment variables from .env for Ada projects.
A curated list of awesome resources related to the Ada and SPARK programming language
DoorScope application supporting the specification review process
VDR port for Siemens Gigaset M740AV, M750T EPG and M750S
A tool to help visualize git revisions and branches.
Command-line tool from the Alire project and supporting library
Qt5 COVID-19 simulator. Ada code under the hood. 😲 🤯 🤘
Custom packaging of qt5ada thick binding by Leonid Dulman
mgrojo / bingada
Forked from jfuica/bingadaBingo application in GTKAda
Zstandard for Ada - Fast real-time compression algorithm