HAL (Hybrid Automata Library) is the one-stop shop for all of your hybrid modeling needs
☆38Aug 19, 2024Updated 2 years ago
Alternatives and similar repositories for HAL
Users that are interested in HAL are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simulation platform of animal embryogenesis☆21Jun 19, 2022Updated 4 years ago
- Bayesian non-parametric clustering (BnpC) of binary data with missing values and uneven error rates☆23Jul 11, 2024Updated 2 years ago
- A deme-based, spatially explicit model of intra-tumour population genetics☆21Jan 28, 2025Updated last year
- Bioconductor components for general cancer genomics☆11Feb 5, 2023Updated 3 years ago
- [source] CELLO - Cancer EvoLution toolbox for LOngitudinal data☆17Aug 24, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆49Jan 7, 2025Updated last year
- Reproducing the experiments in the paper☆11Dec 14, 2021Updated 4 years ago
- Evolutionary frequency visualization tool of temporal data☆24Jan 25, 2022Updated 4 years ago
- Code accompanying "The evolutionary history of 2,658 cancers", Nature 578, 122–128 (2020)☆17Jan 15, 2020Updated 6 years ago
- Sparse Signaling Pathway Sampling: MCMC for signaling pathway inference☆14Oct 24, 2022Updated 3 years ago
- ☆14Jul 28, 2023Updated 3 years ago
- ☆25Mar 3, 2020Updated 6 years ago
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆30Mar 21, 2023Updated 3 years ago
- 🦀 Tumor growth simulation in C++/R☆20Jun 22, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Reinforcement Learning framework for Temporal Goals☆11Mar 6, 2023Updated 3 years ago
- Build a RAG preprocessing pipeline☆12Apr 7, 2024Updated 2 years ago
- Harmonizing pathway databases using Biological Expression Language (BEL)☆20Jul 1, 2024Updated 2 years ago
- ☆21Aug 20, 2024Updated 2 years ago
- Inference of putative transmission phylogenetic clusters☆13Oct 13, 2020Updated 5 years ago
- ☆10Sep 27, 2022Updated 3 years ago
- This repository contains the source code of the R package for EvoGeneX, a software to infer the mode of evolution from the gene expressio…☆30Dec 1, 2025Updated 9 months ago
- An R package for analyzing high-dimensional cytometry data using the tidyverse.☆20Aug 25, 2024Updated 2 years ago
- Cytofin-an R package for CyTOF data integration☆12Jan 13, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Python implementation of Underdamped Langevin Inference, a method to infer the dynamical equation of underdamped stochastic systems from …☆17Jun 20, 2025Updated last year
- Bayesian mixture models for estimating and clustering cancer cell fractions☆26Dec 20, 2022Updated 3 years ago
- Crossmapped phenotype ontologies for the oncology domain☆16Updated this week
- ActiveDriverDB☆12May 1, 2023Updated 3 years ago
- A bioinformatics best-practice analysis pipeline for the analysis of shallow whole genome sequencing (sWGS) data for the identification o…☆18Jul 15, 2026Updated 2 months ago
- Cytometry by time-of-flight(CyTOF) data is very useful in studying the presence/absence of antigens/surface markers at single cell level.…☆15Jun 1, 2020Updated 6 years ago
- Prediction fitness of leaves on a genealogical tree☆12May 7, 2015Updated 11 years ago
- Ethnicity Annotation from Whole-Exome and Targeted Sequencing Data☆20Mar 18, 2023Updated 3 years ago
- Mixture-of-Experts Variational Autoencoder for Clustering and Generating from Similarity-Based Representations on Single Cell Data☆13Apr 22, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Processed Cell Painting Data for the LINCS Drug Repurposing Project☆37Aug 4, 2022Updated 4 years ago
- An open-source R package for omics data integrative analysis in terms of network, evolution and ontology☆18Jan 4, 2024Updated 2 years ago
- A Java library for bigraphical reactive systems.☆12Jan 31, 2023Updated 3 years ago
- Code & utilities for the manuscript "Lineage Recording Reveals the Phylodynamics, Plasticity and Paths of Tumor Evolution"☆14May 27, 2023Updated 3 years ago
- The LTSmin model checking toolset☆63Oct 31, 2024Updated last year
- Code for the 2020 class Networks in Computational Biology (CS446/546) at Oregon State University☆15Oct 29, 2020Updated 5 years ago
- Predict mutated T-cell epitopes from sequencing data☆30Updated this week