sthibaul Goto Github PK

server

MariaDB server is a community developed fork of MySQL server. Started by core members of the original MySQL team, MariaDB actively works with outside developers to deliver the most featureful, stable, and sanely licensed open SQL server in the industry.

shadow

Upstream shadow tree

simgrid

Framework for the simulation of distributed applications (P2P, Clouds, Grids and others)

sonic

Simple library to speed up or slow down speech

spack

A flexible package manager that supports multiple versions, configurations, platforms, and compilers.

speech_tools

Edinburgh Speech Tools

speechd

Common interface to speech synthesis

speechd-up

interface between Speech Dispatcher and Speakup

sphinxbase

spirv-tools

srt

Secure, Reliable, Transport

starpu

Mirror of https://gitlab.inria.fr/starpu/starpu

sthibaul.github.io

sundials

Official development repository for SUNDIALS - a SUite of Nonlinear and DIfferential/ALgebraic equation Solvers. Pull requests are welcome for bug fixes and minor changes.

sys

[mirror] Go packages for low-level interaction with the operating system

systemd

The systemd System and Service Manager

task-bench

A task benchmark

vpltoolkit

VPL Toolkit is a light toolkit to help teachers to program VPL activity in Moodle for their students.

xl2tpd

Official Xelerance fork of L2TPd

z3

The Z3 Theorem Prover