-
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. -
r37980778c78--87ce8dff8d7ddfebacfbbe6674f53db9
GEOS-Chem 12.6.3 25 Nov 2019 This feature adds more minor fixes for issues discovered after the 12.6.1 release. GCHP bug fix: Make sure the MAPL pointer for UVALBEDO is valid... -
Bcbi/Bcbistats.Jl: V0.1.0
Statistics utilities developed in Julia at the Brown Center for Biomedical Informatics -
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... -
Extracting Terms Concerning Ai Based On Web Of Science Data
This is the accompanied code to extract terms connected to AI through titles and abstracts from Web of Science data. -
MATLAB code for the CbCI algorithm (an immunization algorithm)
MATLAB code for the CbCI algorithm, an immunization algorithm for networks with community structure. It requires a data file for the community structure,... -
mega-sweep
The mega-sweep mini-app aims to take the mega-stream kernel and fit it within a KBA-style sweep iteration structure. The compute kernel is similar to mega-stream, but additional...