Skip to content


  • Arctic Code Vault Contributor
  • Pro



Popular repositories

  1. Collection of scripts to generate random GINsim models using BoolNetR

    Shell 2

  2. Forked from hklarner/NuSMV-a

    bioNuSMV is a fork and extension of, which adds a handful of features to ease the use of model checking by biological modelers, in particular, in the context of …

    C 2 1

  3. Compute distance-k neighbours of any monotone Boolean Function

    Java 1

  4. Computation of logical bifurcation diagrams of (Boolean or multivalued) logical functions


36 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity

December 1, 2020

ptgm has no activity yet for this period.

November 2020

2 contributions in private repositories Nov 14 – Nov 20

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.