Synthesis and Reprogramming of Most Permissive Boolean Networks

scBoolSeq: scRNA-Seq data binarisation and synthetic generation from Boolean dynamics

Notebooks demonstrating scBoolSeq for scRNA-Seq binarization and synthetic generation

BNediction webpage

Brief Python implementation of Most Permissive Boolean Networks

CEGAR for universal properties over minimal trap spaces of Boolean networks

Executable paper and data demonstrating marker reprogramming of Boolean networks with BoNesis

Boolean networks in Julia