Projects in Awesome Lists by mgrojo
A curated list of projects in awesome lists by mgrojo .
https://github.com/mgrojo/asfml
Ada binding to the SFML library
ada audio binding cross-platform games graphics multimedia opengl sfml
Last synced: 16 Mar 2025
https://github.com/mgrojo/ASFML
Ada binding to the SFML library
ada audio binding cross-platform games graphics multimedia opengl sfml
Last synced: 14 Mar 2025
https://github.com/mgrojo/coap_spark
Formally verified implementation of the CoAP protocol in SPARK/Ada
ada coap formal-verification iot spark-ada
Last synced: 22 Feb 2026
https://github.com/mgrojo/play_2048
2048 game: merge equal tiles until you add up to 2048
Last synced: 26 Jul 2025
https://mgrojo.github.io/adasearch/
Custom search engine for the Ada programming language
ada custom-search-google search-engine spark spark-ada
Last synced: 21 Jul 2025
https://github.com/mgrojo/adasearch
Custom search engine for the Ada programming language
ada custom-search-google search-engine spark spark-ada
Last synced: 02 Feb 2026
https://github.com/mgrojo/emacs-ada-mode-binaries
AppImages of the Emacs ada-mode executables
Last synced: 11 Jan 2026
https://github.com/mgrojo/atgui
Ada binding for TGUI, a cross-platform GUI for SFML
ada binding cross-platform gui sfml tgui
Last synced: 01 Apr 2025
https://github.com/mgrojo/ada-planet
Backup of the ada-planet.blogspot.com feeds and gadgets
ada-language atom news rss-aggregator
Last synced: 11 Jan 2026
https://github.com/mgrojo/alr2appimage-action
Reusable action that you can use to build an AppImage from your Alire crate and publish it to your releases section
ada alire appimage github-actions
Last synced: 18 Apr 2026
https://github.com/mgrojo/open_url
Open "*.url" files under Linux
ada browser internetshortcut open url xdg
Last synced: 01 Apr 2025
https://github.com/mgrojo/asnip
ASnip reads snippets of Ada source text, correct or incorrect, and produces output suitable for printing, viewing, or including.
Last synced: 29 Jul 2025