-
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 -
RSeqAn: Headers and wrappers for the SeqAn library in R
This package provides R with access to SeqAn v2.4 header files. SeqAn is an open source C++ library of efficient algorithms and data structures for the analysis of... -
Immpload - Immport upload preparation
Immpload - Immport upload preparation immpload converts input data files into files formatted from Immport upload templates. Prerequisites Python3 with... -
r37980778c78--5a6410a3fac90597c7418d373a37d8b4
Interact with the Global Biodiversity Information Facility API from Julia -
r37980778c78--b9a59907fcc05c8dfc7892d6618e4ce4
Interact with the Global Biodiversity Information Facility API from Julia -
DAMFish: Data Analysis of Bacterial Microbiome of Fish (or any other species)
The purpose of the DAMFish program is to take an OTU file and a taxonomy file from Qiime or Qiime 2 and sort the data for making analysis of sequenced... -
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. -
Neon Nist Data Science Evaluation Challenge: Methods And Results Of Team Shawn
This is the code to implement a canopy height model for a submission to the data science competition NIST DSE Plant Identification with NEON Remote Sensing Data. More... -
GBIF.jl - a Julia package to access biodiversity data
Interact with the Global Biodiversity Information Facility API from Julia