mipalgu Goto Github PK

incrementingllfsm

Examples of the Kripke structures generation for the Incrementing LLFSM.

install-guunits

install-swift-format

A Github action for install swift-format

kripkestructures

libextapi

Library for accessing V-REF's external API.

llfsm-editor

llfsmexample

llfsmmodel

machines

A framework providing the functionality to parse, generate and compile the .machine format used in swiftfsm and other LLFSM schedulers

memoryutilities

metamachines

model-extract

A tool for converting Kripke structures generated by swiftfsm into different formats.

naoimages

A collection of Nao images software for viewing these images

nxtcontroller

A controller for a LEGO NXT constructed as a differential robot.

nxtdriver

C++ interface for the LEGO NXT driver trough USB or bluethooth

petalinux-docker

Docker Image for Xilinx PetaLinux Tools Installation

signals

A micro-framework for creating and observing events.

sonarkripkestructures

Kripke Structures Related to the "Verifiable Executable Models for Decomposable Real-Time Systems" paper presented at MODELSWARD 2022

spartanfsm

swen

Swift 2d game engine, using SDL for rendering and chipmunk for physics

swift-armv7-builds

Swift builds for ARMv7

swift-format-test

swift-netconfig

Swift access to network interface configuration and statistics.

swift-scripting

A package for shell-like scripting in Swift.

swift-whiteboard

A Swift interface for gusimplewhiteboard

swiftcrosscompilers

SPM toolchain to cross compile Raspberry Pi Swift binaries on macOS

swiftfsm

swiftfsmwbwrappers

Convenience types for accessing the gusimplewhiteboard in swift

swifthellolib

A trivial Swift library with a run() function that prints "Hello"

swiftonnaoandpepperscripts