-
A general proof certification framework for modal logic - Implementation
This archive contains the lambda-prolog implementation of a general proof certification framework for modal logic -
r37980778c78--97d0a52e5b396c15f61aff3030b1e46e
Includes compiled standalone apps for Apple Mac OSX (BeamformingAlgComp_Listen_v1_MAC.zip) and Windows (BeamformingAlgComp_Listen_v1_WIN.zip). Just extract the file and run the... -
Split4Blank: a software to split an RDF graph with blank nodes
A software to split an RDF graph in N-Triples format into multiple files under the condition that identical blank nodes are not separated. -
r37980778c78--caa790c568c500dd6c578cddf347230f
Top Topics Portlet shows the top topics in the scope where is deployed. Support Bugs and support requests can be reported in the gCube issue tracking tool:... -
BICF Cellranger mkfastq Analysis Workflow
BICF Cellranger mkfastq Analysis Workflow is a wrapper for the CellRanger mkfastq tool from 10x Genomics (which uses Illumina's bcl2fastq). It was developed by... -
The Open City Toolkit
The Open City Toolkit is a collection of tools, applications, services, datasets, specifications and guidelines to empower citizens to participate in and shape the future of... -
salilab/cryptosite: cryptosite 0.1 release
This release of the code should match that currently used by the web server at https://salilab.org/cryptosite/. -
ACRMGroup/epitopes v1.0
Code and data for our paper on analysis of epitope discontinuity and conformation: B-cell Epitopes: Discontinuity and Conformational Analysis Saba Ferdousa,b, Sebastian...