advancedtelematic/quickcheck-state-machine-distributed

This repository has been archived on 02/Mar/2020
Stars
5
Rank 2,861,937 (Top 57 %)
Language
Haskell
License
BSD 2-Clause "Sim...
Created over 6 years ago
Updated over 6 years ago

advancedtelematic/quickcheck-state-machine-distributed

advancedtelematic

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Test monadic programs using state machine based models

quickcheck-state-machine

Test monadic programs using state machine based models

meta-updater

OTA Software updates using OSTree

aktualizr

C++ SOTA Client

ota-community-edition

End-to-end Over The Air updates

treehub

OSTree repository handling for OTA Plus

meta-updater-raspberrypi

dhall-terraform-aws-provider

Terraform AWS bindings for Dhall

ota-tuf

Scala implementation of TUF repo and tools

ota-plus-server

OTA Plus Admin UI

dhall-gitlab

tuf-test-vectors

Test vectors for TUF

dockerfiles

ATS Dockerfiles

markov-chain-usage-model

Computations for Markov chain usage models

director

Scala implementation of Uptane metadata Director

libats

gocd-dhall-example

Generate GoCD Pipeline configurations using Dhall

ota-cli

CLI to manage OTA Connect

ota-device-registry

Device registry for ota-plus

libaktualizr-demo-app

homebrew-otaconnect

Repository is archived and no longer supported.

campaigner

Campaign management for OTA Plus

distributed-process-task-queue

updater-repo

meta-updater-minnowboard

ota-staging-cn

ota-plus-tools

blinkenlights

Python scripts for dogfooding day flashing lights

meta-libaktualizr-demo

web-events

A service for publishing events in a namespace via websockets.

ota-tlaplus-model