-
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 -
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. -
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...
