HAL (Hybrid Automata Library) is the one-stop shop for all of your hybrid modeling needs
☆39Aug 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:
- Tumour stratification by maximum-likelihood repeated evolution from multi-region sequencing data☆68Jun 30, 2026Updated 3 months 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
- ☆13Apr 13, 2020Updated 6 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
- 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.
- Multiscale simulation of multi-cellular system☆30Jul 31, 2020Updated 6 years ago
- ☆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
- 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
- 𝒫robabilistic modeling of RNA velocity ⬱☆49Jul 2, 2026Updated 3 months ago
- R package for the identification of functionally important subnetworks☆14May 6, 2024Updated 2 years ago
- A repository that stores all the MCP servers for creating biological mechanistic models. It includes server for NeKo, MaBoSS, PhysiCell/P…☆19Oct 1, 2026Updated last week
- 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.
- ☆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 3 months ago
- Temporal Logic Extractor☆12May 12, 2017Updated 9 years ago
- A Julia package for extracting mutation signatures using topic models☆20Feb 23, 2022Updated 4 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
- Inference of putative transmission phylogenetic clusters☆13Oct 13, 2020Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆11Sep 27, 2022Updated 4 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 10 months ago
- ☆19Jun 11, 2025Updated last year
- An R package for analyzing high-dimensional cytometry data using the tidyverse.☆20Aug 25, 2024Updated 2 years ago
- Dissecting the effects of DNA copy number variations on transcriptional programs at single-cell resolution☆14Feb 13, 2026Updated 7 months 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
- Python implementation of Underdamped Langevin Inference, a method to infer the dynamical equation of underdamped stochastic systems from …☆17Jun 20, 2025Updated last year
- Crossmapped phenotype ontologies for the oncology domain☆16Sep 28, 2026Updated last week
- 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.
- 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…☆20Jul 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
- 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