onox's repositories
inotify-ada
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
wayland-ada
Ada 2012 bindings for Wayland
canberra-ada
Ada 2012 bindings for libcanberra
weechat-ada
Ada 2012 library for WeeChat plug-ins
awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
weechat-emoji
A WeeChat plug-in written in Ada 2012 🥰 that displays emoji 🥳
goblin-terminal
A mutated clone of GNOME Terminal
weechat-canberra
A WeeChat plug-in written in Ada 2012 that plays sounds using libcanberra
xdg-base-dir
Ada 2012 library implementing the XDG Base Directory Specification
ahven
Git mirror of https://hg.sr.ht/~tkoskine/ahven
alire-index
Community index for the Alire project
hello-wayland
A hello world Wayland client, 2018 edition
LongestEdgeBisectionDemos
Demonstration projects for the header-only longest edge bisection library
progress_indicators
Progress indicators for command line tools in Ada.
test-mdi-i965
Testing Multi Draw Indirect with ARB_shader_draw_parameters on i965
toolchain
GitHub action to setup an Ada/SPARK dev environment