Manuel's repositories
alr2appimage
Tool for building an AppImage from an Alire crate
emacs-ada-mode-binaries
AppImages of the Emacs ada-mode executables
ada-auth
A mirror of Ada Reference Manual sources
ada-lang-io
An Open Source Community site for Ada
ada-planet
Backup of the ada-planet.blogspot.com theme
AdaReferenceCard
Reference Card of Ada Attributes, Aspects, Pragmas and Standard Library
AdaVenture
AdaVenture 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.
alire
Command-line tool from the Alire project and supporting library
alire-index
Community index for the Alire project
alire.ada.dev
Official website for the project
awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
awesome-emacs
A community driven list of useful Emacs packages, libraries and other items.
awesome-package-management
a curated list of package managers for most languages/systems!
awesome-wasm
😎 Curated list of awesome things regarding WebAssembly (wasm) ecosystem.
awesome-wasm-langs
😎 A curated list of languages that compile directly to or have their VMs in WebAssembly
cheatsheets
Large collection of Developer Cheat Sheets, created and maintained by the awesome developers across the globe :earth_americas:
clic
Command Line Interface Components
CSFML
Official binding of SFML for C
CTGUI
C binding for TGUI
eepers
Simple Turn-based Game
gitattributes
A collection of useful .gitattributes templates
listings-flexpde
FlexPDE syntax highlighting definitions for "listings"
programming-languages
Awesome Programming Languages
raytracer
Performance comparison of various compilers
SFML-Website
Repository for the SFML website.
sqlitebrowser
Official home of the DB Browser for SQLite (DB4S) project. Previously known as "SQLite Database Browser" and "Database Browser for SQLite". Website at: