onox
Follow
-
alire-index Public
Forked from alire-project/alire-indexCommunity index for the Alire project
Shell GNU General Public License v3.0 UpdatedSep 30, 2024 -
orka Public
The OpenGL 4.6 Rendering Kernel in Ada 2022
-
json-ada Public
An Ada 2012 library for parsing JSON
-
OpenRTI Public
Mirror of OpenRTI on SourceForge. Do not create PR's. Instead send patches or git pull commands to the mailing list on SF.
-
-
xoshiro Public
Ada/SPARK port of the xoshiro128++ and xoshiro256++ pseudo-random number generators
-
alr Public
Forked from alire-project/alireCommand-line tool from the Alire project
-
evdev-ada Public
An Ada 2012 library to read input events and use force-feedback using Linux' evdev API
-
xdg-base-dir Public
Ada 2012 library implementing the XDG Base Directory Specification
-
opus-ada Public
Ada 2012 bindings for the Opus audio codec.
-
ahven Public
Forked from tkoskine/ahvenGit mirror of https://hg.sr.ht/~tkoskine/ahven
Ada Other UpdatedAug 16, 2022 -
weechat-emoji Public
A WeeChat plug-in written in Ada 2012 🥰 that displays emoji 🥳
-
weechat-canberra Public
A WeeChat plug-in written in Ada 2012 that plays sounds using libcanberra
-
canberra-ada Public
Ada 2012 bindings for libcanberra
-
wayland-ada Public
Ada 2012 bindings for Wayland
-
spoon Public
An Ada 2012 library for posix_spawn() to spawn processes without a fork().
-
weechat-ada Public
Ada 2012 library for WeeChat plug-ins
-
emojis Public
An Ada 2012 library to replace names between colons with emojis
-
dcf-ada Public
An Ada 2012 library for document container files
-
inotify-ada Public
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
-
vim-ada Public
Modified Vim script for Ada 2012
-
toolchain Public
Forked from ada-actions/toolchainGitHub action to setup an Ada/SPARK dev environment
JavaScript MIT License UpdatedSep 3, 2021 -
progress_indicators Public
Forked from pyjarrett/progress_indicatorsProgress indicators for command line tools in Ada.
Ada Apache License 2.0 UpdatedSep 2, 2021 -
hello-wayland Public
Forked from emersion/hello-waylandA hello world Wayland client, 2018 edition
C MIT License UpdatedFeb 25, 2021 -
awesome-ada Public
Forked from ohenley/awesome-adaA curated list of awesome resources related to the Ada and SPARK programming language
-
-
LongestEdgeBisectionDemos Public
Forked from jdupuy/LongestEdgeBisectionDemosDemonstration projects for the header-only longest edge bisection library
C Other UpdatedApr 24, 2020 -
sdlada Public
Forked from ada-game-framework/sdladaAda 2012 bindings to SDL 2
Ada zlib License UpdatedApr 10, 2019 -
test-mdi-i965 Public
Testing Multi Draw Indirect with ARB_shader_draw_parameters on i965
C++ UpdatedJul 22, 2018 -
osgocean Public
Forked from kbale/osgoceanAn ocean rendering nodekit for OpenSceneGraph