GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • bigmc
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles

This view

  • Original page
  • New address

GeezerVison is showing github.com — bigmc

Popular repositories Loading

  1. bigmc bigmc Public

    The BigMC Bigraphical Analysis Tool

    Graphviz (DOT) 11 10

  2. bigmc2 bigmc2 Public

    Rewrite of BigMC in Scala

    Scala 3 1

  3. bigmc-gui bigmc-gui Public

    A simple GUI interface to the BigMC Bigraphical Model Checker

    Java 2 3

Repositories

Loading
Type
Language
Sort
Showing 3 of 3 repositories
  • bigmc2 Public

    Rewrite of BigMC in Scala

    Uh oh!

    There was an error while loading. Please reload this page.

     bigmc/bigmc2's past year of commit activity
    Scala 3 1 0 1 Updated Oct 12, 2020
  • bigmc Public

    The BigMC Bigraphical Analysis Tool

    Uh oh!

    There was an error while loading. Please reload this page.

     bigmc/bigmc's past year of commit activity
    Graphviz (DOT) 11 GPL-3.0 10 4 0 Updated Feb 4, 2014
  • bigmc-gui Public

    A simple GUI interface to the BigMC Bigraphical Model Checker

    Uh oh!

    There was an error while loading. Please reload this page.

     bigmc/bigmc-gui's past year of commit activity
    Java 2 3 0 0 Updated Aug 10, 2011

People
@gian

Top languages

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.