Boolean Network Modeling
☆40Jan 31, 2020Updated 6 years ago
Alternatives and similar repositories for booleannet
Users that are interested in booleannet are comparing it to the libraries listed below
Sorting:
- A python package for simulation and analysis of dynamic Boolean network models☆11Jan 23, 2019Updated 7 years ago
- A collection of 280+ Boolean networks from various sources useful for benchmarking or testing.☆18Jan 13, 2026Updated last month
- Synthesis and Reprogramming of Most Permissive Boolean Networks☆16Feb 23, 2026Updated last week
- PyBoolNet is a Python package for the generation, modification and analysis of Boolean networks.☆54Jan 8, 2026Updated last month
- Static analyzer for dynamics of Automata Networks☆12Feb 3, 2021Updated 5 years ago
- Repository of the pipeline of computational methods for logical modelling of biological networks that are deregulated in diseases, develo…☆10Oct 6, 2019Updated 6 years ago
- The CoLoMoTo Interactive Notebook: Accessible and Reproducible Computational Analyses for Qualitative Biological Networks☆27Feb 23, 2026Updated last week
- SignalingProfiler is a pipeline that builds signaling networks to cellular phenotypes from multiomics data.☆15Oct 17, 2025Updated 4 months ago
- This page hosts NeKo, a python package that allow the user to automatically build gene regulatory networks from any databases.☆17Feb 23, 2026Updated last week
- Sawatabi is an application framework to develop and run stream-data-oriented Ising applications with quantum annealing.☆19May 8, 2021Updated 4 years ago
- toolkit for the manipulation and analysis of Logical Qualitative Models of biological regulatory networks☆19Nov 13, 2025Updated 3 months ago
- Simple SAT solver with CDCL implemented in Python☆19Jan 5, 2023Updated 3 years ago
- Brief Python implementation of Most Permissive Boolean Networks☆21Feb 2, 2026Updated last month
- A solver for package problems in CUDF format☆27Sep 29, 2025Updated 5 months ago
- The Stochastic Local Search SAT Solver from UBC☆32Apr 10, 2022Updated 3 years ago
- Numenta's experimental C++ research code. Please see htmresearch for more details.☆27Jul 26, 2019Updated 6 years ago
- CANAlization: Control & Redundancy in Boolean Networks☆27Feb 25, 2026Updated last week
- DepQBF, a solver for quantified boolean formulae (QBF).☆40Apr 11, 2023Updated 2 years ago
- My computational biology course as it evolves in real time☆14Aug 31, 2021Updated 4 years ago
- Neuroimaging in R Talk☆10Apr 9, 2016Updated 9 years ago
- Bayesian No-Effect-Concentration estimation in R☆14Dec 19, 2025Updated 2 months ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Nov 20, 2023Updated 2 years ago
- http://bioinformatics-core-shared-training.github.io/cruk-bioinf-sschool☆34Nov 25, 2015Updated 10 years ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆86Jul 13, 2023Updated 2 years ago
- ☆25Dec 15, 2025Updated 2 months ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- Controlled Invariant Sets in Two Moves☆14Dec 21, 2021Updated 4 years ago
- ☆10Dec 26, 2018Updated 7 years ago
- xDEVS: A cross-platform Discrete EVent System simulator☆14Nov 14, 2025Updated 3 months ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- K-RET: Knowledgeable Biomedical Relation Extraction System☆10Feb 22, 2025Updated last year
- Parallel Quantum Annealing☆10Jan 7, 2023Updated 3 years ago
- Repository of "Personalization of Logical Models With Multi-Omics Data Allows Clinical Stratification of Patients" paper☆11Dec 2, 2025Updated 3 months ago
- Translate a subset of C to Verilog☆12May 8, 2019Updated 6 years ago
- FASTAptamer: A Bioinformatic Toolkit for High-Throughput Sequence Analysis of Combinatorial Selections☆10Oct 7, 2024Updated last year
- Data visualization workshop☆11May 12, 2020Updated 5 years ago
- Representation of Module Activity☆10May 31, 2017Updated 8 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago