• Stars
    star
    2
  • Language
  • License
    MIT License
  • Created over 7 years ago
  • Updated over 1 year ago

Reviews

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

Repository Details

More Repositories

1

quickcheck-state-machine

Test monadic programs using state machine based models
Haskell
204
star
2

meta-updater

OTA Software updates using OSTree
Python
160
star
3

aktualizr

C++ SOTA Client
C++
144
star
4

ota-community-edition

End-to-end Over The Air updates
Shell
52
star
5

treehub

OSTree repository handling for OTA Plus
Scala
13
star
6

meta-updater-raspberrypi

Shell
10
star
7

dhall-terraform-aws-provider

Terraform AWS bindings for Dhall
Ruby
8
star
8

ota-tuf

Scala implementation of TUF repo and tools
Scala
8
star
9

ota-plus-server

OTA Plus Admin UI
JavaScript
8
star
10

dhall-gitlab

Makefile
5
star
11

quickcheck-state-machine-distributed

Test monadic programs using state machine based models
Haskell
5
star
12

tuf-test-vectors

Test vectors for TUF
Python
5
star
13

dockerfiles

ATS Dockerfiles
Erlang
5
star
14

markov-chain-usage-model

Computations for Markov chain usage models
Haskell
5
star
15

director

Scala implementation of Uptane metadata Director
Scala
4
star
16

libats

Scala
4
star
17

gocd-dhall-example

Generate GoCD Pipeline configurations using Dhall
Makefile
3
star
18

ota-cli

CLI to manage OTA Connect
Rust
3
star
19

ota-device-registry

Device registry for ota-plus
Scala
2
star
20

libaktualizr-demo-app

C++
2
star
21

homebrew-otaconnect

Repository is archived and no longer supported.
Ruby
2
star
22

campaigner

Campaign management for OTA Plus
Scala
2
star
23

distributed-process-task-queue

Haskell
2
star
24

meta-updater-minnowboard

BitBake
1
star
25

ota-staging-cn

Makefile
1
star
26

ota-plus-tools

Rust
1
star
27

blinkenlights

Python scripts for dogfooding day flashing lights
Python
1
star
28

meta-libaktualizr-demo

BitBake
1
star
29

web-events

A service for publishing events in a namespace via websockets.
Scala
1
star
30

ota-tlaplus-model

TLA
1
star