Skip to content
@CAAL

CAAL

Popular repositories Loading

  1. CAAL CAAL Public

    CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes expressed in the well-known CCS language (Calculus of Communi…

    TypeScript 41 11

  2. ace ace Public

    Forked from ajaxorg/ace

    Ace (Ajax.org Cloud9 Editor)

    JavaScript 2

  3. arbor arbor Public

    JavaScript

Repositories

Showing 3 of 3 repositories
  • CAAL Public

    CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes expressed in the well-known CCS language (Calculus of Communicating Systems).

    CAAL/CAAL’s past year of commit activity
    TypeScript 41 MIT 11 6 (1 issue needs help) 0 Updated Jan 19, 2023
  • ace Public Forked from ajaxorg/ace

    Ace (Ajax.org Cloud9 Editor)

    CAAL/ace’s past year of commit activity
    JavaScript 0 5,445 0 0 Updated Jan 5, 2023
  • arbor Public
    CAAL/arbor’s past year of commit activity
    JavaScript 0 0 0 0 Updated Feb 23, 2015

Top languages

Loading…

Most used topics

Loading…