ctlab Goto Github PK

bandageng

a Bioinformatics Application for Navigating De novo Assembly Graphs Easily

bebosy

Behavior examples meet Bounded Synthesis

beepp2bee

BEE++ to BEE translator

bioinformaticsdsl

This is a DSL for manage bioinformatics pipelines

clusdec

dadi_adjoint_state

The adjoint-state method for demographic inference

dfa-inductor

dfa-inductor-py

A python tool for solving minDFA problem.

dqnroute

Emulation system for routing algorithms, particularly for DQN routing

evoguess

Component EvoGuess v2.1 for finding decomposition sets and estimating hardness of SAT instances.

evoguess-ai

Component for finding decomposition sets and estimating hardness of SAT instances.

fbsat

Tool for automatic inference of minimal finite-state models of function blocks from execution scenarios and temporal properties

fbsat-python

Automatic Inference and Generalization of Function Block Finite-State Models

fgsea

Fast Gene Set Enrichment Analysis

fgsea-paper

Paper on fast preranked GSEA algorithm

fgsea-web

gadma

Genetic Algorithm for Demographic Model Analysis

gam

Integrated analysis of transcriptional and metabolic profiling

gamclust

GAM-clustering: Metabolic Modules Derivig From RNAseq Data

gatom

Finding an Active Metabolic Module in Atom Transition Network

genequery-java

Java modules for GeneQuery: commons, REST backend, console version, etc.

genequery-kotlin

Basic GeneQuery logic implemented in Kotlin

genequery-presentation

Beamer GeneQuery presentation

genequery-web

gmwcs-solver

gscour

Genome-wide detection of positive selection

gseabenchmarker-counterexample

gshell

hammlet

Hybridization Models Maximum Likelihood Estimator

hict

Combines all HiCT-related repositories as submodules