A zip file containing the artifact, benchmark suites, and script for installing and reproducing the results of the paper "Chain Free String Constraints" accepted...

Coq 8.7 includes: A large amount of work on cleaning and speeding up the code base, notably the work of Pierre-Marie Pédrot on making the tactic-level system insensitive to...

Group Factor Analysis Code Decomposes a set of expressions into a group expression. The expression regulation can be studied via an ANOVA that relates it to the observables in...

A quick and dirty bit of code to help browse the recently released Article Processing Charges that the Wellcome Trust paid for in 2012/2013. See links below to see orginal data...

See README File for detailed description

The gCube System - gCube Social Profile Portlet -------------------------------------------------- Social Profile This software is part of the gCube Framework...

This repository includes the code, data, documentation, metadata and figure source files that accompany this research.

This is an artifact evaluation submission for the paper: "Using Symmetry Transformations in Equivariant Dynamical Systems for their Safety Verification" that will be published...

The gCube System - lexical-guesser -------------------------------------------------- lexical-guesser library This software is part of the gCube Framework...

This software bundle contains everything needed to reproduce the experiments of the paper. In particular, all files with "previous-vs-optimized-implementation" in their name...

astronomical image display everywhere

The gCube System - gCube Workspace Explorer -------------------------------------------------- gCube Workspace Explorer widget allows to navigate (gCube) Workspace This...

Main changes in version 1.0.1: Paper for the Journal of Open Source Software Fix OpenMP parallelization Minor improvements of the documentation See docs/changelog.rst for...

This is MATLAB code for very simple simulations that detect the rate at which collisions occur in groups of robots working together. The main parameters of interest are the...

Source for computing ACd from experimental data.   Materials for Science Cycling 2018.

The gCube System - Social Data Indexing Common -------------------------------------------------- Common library for the indexing functionalities (both search and index...

This archive contains the material required to reproduce the results for the PhD thesis "Development Of A Performance-Portable Framework For Atomistic Simulations".

tabular-data-mainbox-widget implements a tab panel to shows resources and table Documentation Documentation is available on-line in the gCube Wiki:...

A minor update to the original beta release.

Bodhi Linux Media 5.0.0 Free and Open Source Distro for Digital Artists more info at: https://gitlab.com/giuseppetorre/bodhilinuxmedia Author:  Giuseppe Torre...