Giters
LAbS (labs-lang)

LAbS

labs-lang

Geek Repo

LAbS, a Language with Attribute-based Stigmergies

Github PK Tool:Github PK Tool

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