Giters
LAbS (labs-lang)

LAbS

labs-lang

Organization data from Github https://github.com/labs-lang

LAbS, a Language with Attribute-based Stigmergies

GitHub:@labs-lang

LAbS's repositories

labs

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

Language:F#License:BSD-3-ClauseStargazers:7Issues:2Issues:22

labs-examples

Example LAbS specification files

License:NOASSERTIONStargazers:0Issues:2Issues:0

labsparse

Experimental LAbS parser/analyser in Python

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

sliver

The SLiVER LAbS VERifier

Language:PythonLicense:NOASSERTIONStargazers:0Issues:2Issues:3

sliver-cadp

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

Language:F#License:BSD-3-ClauseStargazers:0Issues:2Issues:0