HAL (Hybrid Automata Library) is the one-stop shop for all of your hybrid modeling needs
☆39Aug 19, 2024Updated last year
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:
- Tumour stratification by maximum-likelihood repeated evolution from multi-region sequencing data☆67Dec 25, 2022Updated 3 years ago
- 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☆22Jul 11, 2024Updated last year
- Bioconductor components for general cancer genomics☆11Feb 5, 2023Updated 3 years ago
- ☆48Jan 7, 2025Updated last year
- 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.
- A deme-based, spatially explicit model of intra-tumour population genetics☆21Jan 28, 2025Updated last year
- tugHall: a simulator of cancer cell evolution based on the hallmarks of cancer, linked to the mutational states of tumor-related genes. T…☆13Dec 11, 2023Updated 2 years ago
- 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
- ☆34Nov 22, 2023Updated 2 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
- 𝒫robabilistic modeling of RNA velocity ⬱☆49Updated this week
- ☆14Jul 28, 2023Updated 2 years 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.
- ☆25Mar 3, 2020Updated 6 years ago
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆28Mar 21, 2023Updated 3 years ago
- 🦀 Tumor growth simulation in C++/R☆20Jun 22, 2026Updated last week
- Reinforcement Learning framework for Temporal Goals☆11Mar 6, 2023Updated 3 years ago
- A Julia package for extracting mutation signatures using topic models☆20Feb 23, 2022Updated 4 years ago
- ☆21Aug 20, 2024Updated last year
- Chaste - Cancer Heart And Soft Tissue Environment - main public repository☆17Aug 4, 2016Updated 9 years ago
- Semantic Segmentor for Protein Structures.☆11Dec 20, 2021Updated 4 years ago
- Cytofin-an R package for CyTOF data integration☆12Jan 13, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Harmonizing pathway databases using Biological Expression Language (BEL)☆20Jul 1, 2024Updated last year
- Scalable Tool for Gene Network Reverse Engineering☆27Nov 6, 2025Updated 7 months ago
- [source] CELLO - Cancer EvoLution toolbox for LOngitudinal data☆17Aug 24, 2020Updated 5 years ago
- ☆10Sep 27, 2022Updated 3 years ago
- Inference of putative transmission phylogenetic clusters☆12Oct 13, 2020Updated 5 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…☆29Dec 1, 2025Updated 6 months ago
- MorphVAE: Generating Neural Morphologies from 3D-Walks☆14Sep 4, 2022Updated 3 years ago
- Temporal Logic Extractor☆12May 12, 2017Updated 9 years ago
- An R package for analyzing high-dimensional cytometry data using the tidyverse.☆20Aug 25, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Dissecting the effects of DNA copy number variations on transcriptional programs at single-cell resolution☆14Feb 13, 2026Updated 4 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
- Ethnicity Annotation from Whole-Exome and Targeted Sequencing Data☆19Mar 18, 2023Updated 3 years ago
- Bayesian mixture models for estimating and clustering cancer cell fractions☆26Dec 20, 2022Updated 3 years ago
- Prediction fitness of leaves on a genealogical tree☆12May 7, 2015Updated 11 years ago
- A straightforward implementation of the mapper construction by Carlsson-Memoli-Singh. I wrote a little blog post about it at http://blog.…☆15Mar 18, 2015Updated 11 years ago
- ActiveDriverDB☆12May 1, 2023Updated 3 years ago