onox/xoshiro onox/xoshiro

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Ada
  • License
    Apache License 2.0
  • Created almost 3 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
onox/xoshiro
github

onox

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

orka

The OpenGL 4.6 Rendering Kernel in Ada 2012
Ada
52
star
2

OpenRTI

Mirror of OpenRTI on SourceForge. Do not create PR's. Instead send patches or git pull commands to the mailing list on SF.
C++
51
star
3

json-ada

An Ada 2012 library for parsing JSON
Ada
35
star
4

inotify-ada

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

emojis

An Ada 2012 library to replace names between colons with emojis
Ada
7
star
6

wayland-ada

Ada 2012 bindings for Wayland
Ada
6
star
7

dcf-ada

An Ada 2012 library for document container files
Ada
5
star
8

orka-demo

Demo project using Orka 3D engine
Ada
4
star
9

evdev-ada

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

canberra-ada

Ada 2012 bindings for libcanberra
Ada
4
star
11

awt

Ada Window Toolkit, a library for managing input devices and windows that can display 3D graphics
3
star
12

weechat-ada

Ada 2012 library for WeeChat plug-ins
Ada
3
star
13

vim-ada

Modified Vim script for Ada 2012
Vim Script
2
star
14

weechat-emoji

A WeeChat plug-in written in Ada 2012 πŸ₯° that displays emoji πŸ₯³
Ada
2
star
15

spoon

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

opus-ada

Ada 2012 bindings for the Opus audio codec.
Ada
2
star
17

xdg-base-dir

Ada 2012 library implementing the XDG Base Directory Specification
Ada
1
star
18

goblin-terminal

A mutated clone of GNOME Terminal
Python
1
star
19

weechat-canberra

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