-
r37980778c78--cc19c5dce3f10b5d8d79c4a863fe5e9d
Research prototype tool for modular formal verification of C and Java programs By Bart Jacobs, Jan Smans, and Frank Piessens, with contributions by Pieter Agten, Cedric... -
spI/O: A library of FPGA designs and reusable modules for I/O in SpiNNaker sy...
SpiNNaker is a massively-parallel machine designed for very-large scale neural net simulation in real time. SpiNNaker systems are based on multi-core SpiNNaker chips, which... -
gCube 4.0.0 - Uri Resolver v. 1.7.0
The gCube System - uri-resolver -------------------------------------------------- The URI Resolver is an HTTP URI resolver implemented as an HTTP servlet which gives access... -
r37980778c78--5685e7e3698169a742162425fceb878e
HAPI is a tool providing a possibility to work with spectroscopic data in HITRAN format. It gives fast and easy access to HITRANonline data. In addition, HAPI provides... -
guaix-ucm/megaradrp v0.7.1
MEGARA (Multi-Espectrógrafo en GTC de Alta Resolución para Astronomía) is a facility instrument designed for the 10.4m GTC telescope in La Palma (Spain). -
r37980778c78--2fb0bbfeca6d106275349b028d92b1cb
GNU Astronomy Utilities (Gnuastro) is a collection of programs and libraries for astronomical data analysis. Its main tarballs are hosted on gnu.org, but each version is also... -
GaitPy: An Open-Source Python Package for Gait Analysis Using an Acceleromete...
GaitPy is an open-source Python package that implements several published algorithms in a modular framework for extracting clinical features of gait from a single accelerometer... -
gCube 4.1.1 - lexical-guesser v. 1.0.0
The gCube System - lexical-guesser -------------------------------------------------- lexical-guesser library This software is part of the gCube Framework... -
gCube 4.1.0 - Shibboleth Login Hook v. 1.0.0
The gCube System - Shibboleth Login Hook -------------------------------------------------- The Shibboleth hook allows users to login to a liferay portal using the saml... -
Gcube 4.1.0 - Common-Events V. 1.0.1
The gCube System - common-events -------------------------------------------------- A lightweight, zero-dependency library for application-level eventing in arbitrary... -
OpenScienceMOOC/Module-1-Open-Principles 1.0.0
First release for Module 1 of the Open Science MOOC. See also content on YouTube. -
r37980778c78--3fd524ae7a007eb230f96ff50e128926
The goal of this project is to produce an automated method for identifying shells, sometimes referred to as "bubbles", and other structures of interest in molecular cloud data.... -
r37980778c78--03a5e8b44b55304cc7da1c3865202fd7
The URI Resolver Manager Support Bugs and support requests can be reported in the gCube issue tracking tool: https://support.d4science.org/projects/gcube/ Older versions... -
Dft Data Analysis: Intercalation Of X=(Li, Na, Mg, Ca, Al) Into (F/Oh)-Substi...
This repository contains analysis of DFT data that supports the findings reported in Ma et al. Lithium Intercalation in Anatase Titanium Vacancies and the Role of Local Anionic... -
r37980778c78--155f9c600469779b99d10f96f3c612c2
GNU Astronomy Utilities (Gnuastro) is a collection of programs and libraries for astronomical data analysis. Its main tarballs are hosted on gnu.org, but each version is also... -
r37980778c78--c79390f492f788d773ab306404f87875
This online application is implemented in R and consists of a WEB-based tool to support the expert knowledge elicitation (EKE) process. More specifically, there are four modules... -
gCube 4.7.0 - The Tree Manager Framework v. 3.0.1
The gCube System - The Tree Manager Framework -------------------------------------------------- The framework for plugins of the Tree Manager service This software is... -
gCube 4.5.0 - Common Trees v. 1.4.2
The gCube System - Common Trees -------------------------------------------------- A data model based on edge-labelled tree structures. This software is part of the gCube... -
BART: version 0.2.08
Changes: new tools: index poly wshfl zexp index: generate indices poly: generate polynomial patterns (Siddharth Iyer) wshfl: wave-shuffling (Siddharth Iyer) zexp: replace... -
gCube 4.0.0 - Common Featherweight gCore Client v. 1.1.0
The gCube System - Common Featherweight gCore Client -------------------------------------------------- A binding of the CL Framework to the Featherwieght Stack for gCore...
