Beast code in Giters

onox's repositories

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++NOASSERTION60 120

orka

The OpenGL 4.6 Rendering Kernel in Ada 2012

Language:AdaApache-2.059 7 85

json-ada

An Ada 2012 library for parsing JSON

Language:AdaApache-2.039 8 11

inotify-ada

An Ada 2012 library for monitoring filesystem events using Linux' inotify API

Language:AdaApache-2.08 2 4

emojis

An Ada 2012 library to replace names between colons with emojis

Language:AdaApache-2.07 1 1

wayland-ada

Ada 2012 bindings for Wayland

Language:AdaApache-2.07 2 11

xoshiro

Ada/SPARK port of the xoshiro128++ and xoshiro256++ pseudo-random number generators

Language:AdaApache-2.07 1 1

dcf-ada

An Ada 2012 library for document container files

Language:AdaMIT6 40

orka-demo

Demo project using Orka 3D engine

Language:Ada5 2 1

canberra-ada

Ada 2012 bindings for libcanberra

Language:AdaApache-2.04 3 4

evdev-ada

An Ada 2012 library to read input events and use force-feedback using Linux' evdev API

Language:AdaApache-2.04 1 2

spoon

An Ada 2012 library for posix_spawn() to spawn processes without a fork().

Language:AdaApache-2.03 10

weechat-ada

Ada 2012 library for WeeChat plug-ins

Language:AdaApache-2.03 20

awesome-ada

A curated list of awesome resources related to the Ada and SPARK programming language

2 20

opus-ada

Ada 2012 bindings for the Opus audio codec.

Language:AdaApache-2.02 20

vim-ada

Modified Vim script for Ada 2012

Language:Vim script2 20

weechat-emoji

A WeeChat plug-in written in Ada 2012 🥰 that displays emoji 🥳

Language:AdaApache-2.02 20

alr

Command-line tool from the Alire project

Language:AdaGPL-3.01 20

goblin-terminal

A mutated clone of GNOME Terminal

Language:PythonMIT1 20

weechat-canberra

A WeeChat plug-in written in Ada 2012 that plays sounds using libcanberra

Language:AdaApache-2.01 20

xdg-base-dir

Ada 2012 library implementing the XDG Base Directory Specification

Language:AdaApache-2.01 10

ahven

Git mirror of https://hg.sr.ht/~tkoskine/ahven

Language:AdaNOASSERTION000

alire-index

Community index for the Alire project

Language:ShellGPL-3.0010

hello-wayland

A hello world Wayland client, 2018 edition

Language:CMIT010

LongestEdgeBisectionDemos

Demonstration projects for the header-only longest edge bisection library

Language:CNOASSERTION010

osgocean

An ocean rendering nodekit for OpenSceneGraph

Language:C++LGPL-3.0020

progress_indicators

Progress indicators for command line tools in Ada.

Language:AdaApache-2.0000

sdlada

Ada 2012 bindings to SDL 2

Language:AdaZlib020

test-mdi-i965

Testing Multi Draw Indirect with ARB_shader_draw_parameters on i965

Language:C++020

toolchain

GitHub action to setup an Ada/SPARK dev environment

Language:JavaScriptMIT000