Skip to content
@labs-lang

LAbS

LAbS, a Language with Attribute-based Stigmergies

Popular repositories Loading

  1. labs labs Public

    LAbS: a Language with Attribute-based Stigmergies - Parser + Code generator

    F# 6

  2. sliver sliver Public

    The SLiVER LAbS VERifier

    Python

  3. labs-examples labs-examples Public

    Example LAbS specification files

  4. sliver-cadp sliver-cadp Public archive

    SLiVER-CADP: model checking and simulation of stigmergic collective systems

    F#

  5. labsparse labsparse Public

    Experimental LAbS parser/analyser in Python

    Python

Repositories

Showing 5 of 5 repositories
  • sliver Public

    The SLiVER LAbS VERifier

    labs-lang/sliver’s past year of commit activity
    Python 0 0 2 0 Updated Jul 12, 2024
  • sliver-cadp Public archive

    SLiVER-CADP: model checking and simulation of stigmergic collective systems

    labs-lang/sliver-cadp’s past year of commit activity
    F# 0 BSD-3-Clause 0 0 0 Updated Jul 2, 2024
  • labs Public

    LAbS: a Language with Attribute-based Stigmergies - Parser + Code generator

    labs-lang/labs’s past year of commit activity
    F# 6 BSD-3-Clause 0 9 (1 issue needs help) 0 Updated Jun 12, 2024
  • labs-examples Public

    Example LAbS specification files

    labs-lang/labs-examples’s past year of commit activity
    0 0 0 0 Updated May 31, 2024
  • labsparse Public

    Experimental LAbS parser/analyser in Python

    labs-lang/labsparse’s past year of commit activity
    Python 0 BSD-3-Clause 0 0 0 Updated Apr 21, 2023

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…