HAL (Hybrid Automata Library) is the one-stop shop for all of your hybrid modeling needs
☆38Aug 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:
- Method for plotting histograms on a curve using a West Transform☆10Apr 26, 2022Updated 4 years ago
- Simulation platform of animal embryogenesis☆21Jun 19, 2022Updated 4 years ago
- Tumour stratification by maximum-likelihood repeated evolution from multi-region sequencing data☆67Jun 30, 2026Updated 3 weeks ago
- 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
- Bayesian non-parametric clustering (BnpC) of binary data with missing values and uneven error rates☆22Jul 11, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A deme-based, spatially explicit model of intra-tumour population genetics☆21Jan 28, 2025Updated last year
- Multiscale simulation of multi-cellular system☆30Jul 31, 2020Updated 5 years ago
- Bioconductor components for general cancer genomics☆11Feb 5, 2023Updated 3 years ago
- ☆48Jan 7, 2025Updated last year
- Spheroid models of morphogenesis for the GPU.☆46Oct 12, 2025Updated 9 months 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
- ASCETIC (Agony-baSed Cancer EvoluTion InferenCe) is a novel framework for the inference of a set of statistically significant temporal pa…☆12Apr 18, 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.
- 𝒫robabilistic modeling of RNA velocity ⬱☆49Jul 2, 2026Updated 2 weeks ago
- R package for the identification of functionally important subnetworks☆14May 6, 2024Updated 2 years ago
- ☆14Jul 28, 2023Updated 2 years ago
- ☆25Mar 3, 2020Updated 6 years ago
- A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!☆38Oct 13, 2023Updated 2 years ago
- 🦀 Tumor growth simulation in C++/R☆20Jun 22, 2026Updated 3 weeks ago
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆30Mar 21, 2023Updated 3 years ago
- Reinforcement Learning framework for Temporal Goals☆11Mar 6, 2023Updated 3 years ago
- Temporal Logic Extractor☆12May 12, 2017Updated 9 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.
- Build a RAG preprocessing pipeline☆12Apr 7, 2024Updated 2 years ago
- NaRnEA (Nonparametric analytical Rank-based Enrichment Analysis)☆12Mar 2, 2023Updated 3 years ago
- Harmonizing pathway databases using Biological Expression Language (BEL)☆20Jul 1, 2024Updated 2 years ago
- Crossmapped phenotype ontologies for the oncology domain☆16Jul 9, 2026Updated last week
- ☆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…☆30Dec 1, 2025Updated 7 months ago
- Semantic Segmentor for Protein Structures.☆11Dec 20, 2021Updated 4 years ago
- ☆19Jun 11, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Code for the "Spatial genomics maps the structure, nature and evolution of cancer clones" paper☆27Nov 21, 2022Updated 3 years ago
- Cytofin-an R package for CyTOF data integration☆12Jan 13, 2022Updated 4 years ago
- 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
- Specify and synthesize systems using symbolic algorithms☆53Dec 15, 2025Updated 7 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
- Mixture-of-Experts Variational Autoencoder for Clustering and Generating from Similarity-Based Representations on Single Cell Data☆13Apr 22, 2021Updated 5 years ago