onox

Spaceship Earth, Virgo Supercluster

Pinned Repositories

canberra-ada
Ada 2012 bindings for libcanberra
Language:Ada4 4 41
dcf-ada
An Ada 2012 library for document container files
Language:Ada6 4 00
emojis
An Ada 2012 library to replace names between colons with emojis
Language:Ada7 1 10
evdev-ada
An Ada 2012 library to read input events and use force-feedback using Linux' evdev API
Language:Ada4 2 20
inotify-ada
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
Language:Ada8 3 42
json-ada
An Ada 2012 library for parsing JSON
Language:Ada40 9 123
OpenRTI
Mirror of OpenRTI on SourceForge. Do not create PR's. Instead send patches or git pull commands to the mailing list on SF.
Language:C++60 12 038
spoon
An Ada 2012 library for posix_spawn() to spawn processes without a fork().
Language:Ada3 2 00
wayland-ada
Ada 2012 bindings for Wayland
Language:Ada7 2 110
xoshiro
Ada/SPARK port of the xoshiro128++ and xoshiro256++ pseudo-random number generators
Language:Ada7 1 21

onox's Repositories

onox/orka
The OpenGL 4.6 Rendering Kernel in Ada 2022
Language:Ada61 8 862
onox/OpenRTI
Mirror of OpenRTI on SourceForge. Do not create PR's. Instead send patches or git pull commands to the mailing list on SF.
Language:C++60 12 038
onox/json-ada
An Ada 2012 library for parsing JSON
Language:Ada40 9 123
onox/inotify-ada
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
Language:Ada8 3 42
onox/emojis
An Ada 2012 library to replace names between colons with emojis
Language:Ada7 1 10
onox/wayland-ada
Ada 2012 bindings for Wayland
Language:Ada7 2 110
onox/xoshiro
Ada/SPARK port of the xoshiro128++ and xoshiro256++ pseudo-random number generators
Language:Ada7 1 21
onox/dcf-ada
An Ada 2012 library for document container files
Language:Ada6 4 00
onox/orka-demo
Demo project using Orka 3D engine
Language:Ada5 2 10
onox/canberra-ada
Ada 2012 bindings for libcanberra
Language:Ada4 4 41
onox/evdev-ada
An Ada 2012 library to read input events and use force-feedback using Linux' evdev API
Language:Ada4 2 20
onox/spoon
An Ada 2012 library for posix_spawn() to spawn processes without a fork().
Language:Ada3 2 00
onox/weechat-ada
Ada 2012 library for WeeChat plug-ins
Language:Ada3 3 01
onox/awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
2 2 01
onox/opus-ada
Ada 2012 bindings for the Opus audio codec.
Language:Ada2 3 0
onox/vim-ada
Modified Vim script for Ada 2012
Language:Vim script2 2 0
onox/weechat-emoji
A WeeChat plug-in written in Ada 2012 🥰 that displays emoji 🥳
Language:Ada2 3 0
onox/xdg-base-dir
Ada 2012 library implementing the XDG Base Directory Specification
Language:Ada2 2 0
onox/alr
Command-line tool from the Alire project
Language:Ada1 2 0
onox/goblin-terminal
A mutated clone of GNOME Terminal
Language:Python1 2 0
onox/weechat-canberra
A WeeChat plug-in written in Ada 2012 that plays sounds using libcanberra
Language:Ada1 2 0
onox/ahven
Git mirror of https://hg.sr.ht/~tkoskine/ahven
Language:Ada0 0
onox/alire-index
Community index for the Alire project
Language:Shell1 0
onox/hello-wayland
A hello world Wayland client, 2018 edition
Language:C1 0
onox/LongestEdgeBisectionDemos
Demonstration projects for the header-only longest edge bisection library
Language:C1 0
onox/osgocean
An ocean rendering nodekit for OpenSceneGraph
Language:C++2 01
onox/progress_indicators
Progress indicators for command line tools in Ada.
Language:Ada0 0
onox/sdlada
Ada 2012 bindings to SDL 2
Language:Ada2 0
onox/test-mdi-i965
Testing Multi Draw Indirect with ARB_shader_draw_parameters on i965
Language:C++2 0
onox/toolchain
GitHub action to setup an Ada/SPARK dev environment
Language:JavaScript0 0