- Spain
Block or Report
Block or report mgrojo
Contact GitHub support about this userโs behavior. Learn more about reporting abuse.
Report abuse-
ASFML Public
Ada binding to the SFML library
-
-
alire-index Public
Forked from alire-project/alire-indexCommunity index for the Alire project
GNU General Public License v3.0 UpdatedMay 25, 2024 -
emacs-ada-mode-binaries Public
AppImages of the Emacs ada-mode executables
-
AdaReferenceCard Public
Forked from bracke/AdaReferenceCardReference Card of Ada Attributes, Aspects, Pragmas and Standard Library
TeX The Unlicense UpdatedMay 4, 2024 -
gitattributes Public
Forked from gitattributes/gitattributesA collection of useful .gitattributes templates
Git Attributes MIT License UpdatedMay 3, 2024 -
raytracer Public
Forked from edin/raytracerPerformance comparison of various compilers
Ada MIT License UpdatedApr 18, 2024 -
alr2appimage Public
Tool for building an AppImage from an Alire crate
-
-
eepers Public
Forked from tsoding/eepersSimple Turn-based Game
Ada MIT License UpdatedMar 23, 2024 -
ada-lang-io Public
Forked from ada-lang-io/ada-lang-ioAn Open Source Community site for Ada
TypeScript Apache License 2.0 UpdatedMar 10, 2024 -
alire Public
Forked from alire-project/alireCommand-line tool from the Alire project and supporting library
Ada GNU General Public License v3.0 UpdatedMar 8, 2024 -
ATGUI Public
Ada binding for TGUI, a cross-platform GUI for SFML
-
-
-
AdaVenture Public
Forked from fastrgv/AdaVentureAdaVenture is a kid-friendly retro point&click adventure game with mazes, beasts, bats, bugs & snakes. Windows & most Linux distros. Hear ancient Persian melodies played by Korla Pandit.
Ada GNU General Public License v3.0 UpdatedFeb 15, 2024 -
SFML-Website Public
Forked from SFML/SFML-WebsiteRepository for the SFML website.
PHP Other UpdatedFeb 12, 2024 -
cheatsheets Public
Forked from onecompiler/cheatsheetsLarge collection of Developer Cheat Sheets, created and maintained by the awesome developers across the globe ๐
UpdatedFeb 7, 2024 -
ada-auth Public
Forked from ada-lang-io/ada-authA mirror of Ada Reference Manual sources
CartoCSS GNU General Public License v3.0 UpdatedJan 6, 2024 -
listings-flexpde Public
Forked from modelica-tools/listings-modelicaFlexPDE syntax highlighting definitions for "listings"
LaTeX Project Public License v1.3c UpdatedJan 2, 2024 -
awesome-emacs Public
Forked from emacs-tw/awesome-emacsA community driven list of useful Emacs packages, libraries and other items.
The Unlicense UpdatedDec 5, 2023 -
awesome-package-management Public
Forked from nilsding/awesome-package-managementa curated list of package managers for most languages/systems!
UpdatedNov 20, 2023 -
play_2048 Public
2048 game: merge equal tiles until you add up to 2048
-
clic Public
Forked from alire-project/clicCommand Line Interface Components
Ada MIT License UpdatedOct 14, 2023 -
alire.ada.dev Public
Forked from alire-project/alire.ada.devOfficial website for the project
HTML UpdatedOct 14, 2023 -
awesome-ada Public
Forked from ohenley/awesome-adaA curated list of awesome resources related to the Ada and SPARK programming language
Creative Commons Zero v1.0 Universal UpdatedOct 8, 2023 -
sqlitebrowser Public
Forked from sqlitebrowser/sqlitebrowserOfficial home of the DB Browser for SQLite (DB4S) project. Previously known as "SQLite Database Browser" and "Database Browser for SQLite". Website at:
C++ Other UpdatedOct 1, 2023 -
aShell Public
Forked from charlie5/aShellA component to aid in writing shell-like applications in Ada.
Ada Other UpdatedOct 1, 2023 -
programming-languages Public
Forked from learn-anything/programming-languagesAwesome Programming Languages
UpdatedSep 13, 2023 -
awesome-wasm-langs Public
Forked from appcypher/awesome-wasm-langs๐ A curated list of languages that compile directly to or have their VMs in WebAssembly
UpdatedSep 3, 2023