Skip to content
@gts-morpher

gts-morpher

Popular repositories Loading

  1. gts_morpher gts_morpher Public

    Tool for building GTS Morphisms and Amalgamations

    Xtend 5

  2. timed_pls_gemoc timed_pls_gemoc Public

    A version of timed PLS for GEMOC Studio

    Java

Repositories

Showing 2 of 2 repositories
  • gts_morpher Public

    Tool for building GTS Morphisms and Amalgamations

    gts-morpher/gts_morpher’s past year of commit activity
    Xtend 5 MIT 0 18 (3 issues need help) 2 Updated May 12, 2023
  • timed_pls_gemoc Public

    A version of timed PLS for GEMOC Studio

    gts-morpher/timed_pls_gemoc’s past year of commit activity
    Java 0 0 0 0 Updated Dec 10, 2019

Top languages

Loading…

Most used topics

Loading…