• This repository has been archived on 18/Jun/2021
  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
    Ruby
  • License
    Mozilla Public Li...
  • Created over 5 years ago
  • Updated over 5 years ago

Reviews

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

Repository Details

Terraform AWS bindings for Dhall

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

ota-tuf

Scala implementation of TUF repo and tools
Scala
8
star
8

ota-plus-server

OTA Plus Admin UI
JavaScript
8
star
9

dhall-gitlab

Makefile
5
star
10

quickcheck-state-machine-distributed

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

tuf-test-vectors

Test vectors for TUF
Python
5
star
12

dockerfiles

ATS Dockerfiles
Erlang
5
star
13

markov-chain-usage-model

Computations for Markov chain usage models
Haskell
5
star
14

director

Scala implementation of Uptane metadata Director
Scala
4
star
15

libats

Scala
4
star
16

gocd-dhall-example

Generate GoCD Pipeline configurations using Dhall
Makefile
3
star
17

ota-cli

CLI to manage OTA Connect
Rust
3
star
18

ota-device-registry

Device registry for ota-plus
Scala
2
star
19

libaktualizr-demo-app

C++
2
star
20

homebrew-otaconnect

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

campaigner

Campaign management for OTA Plus
Scala
2
star
22

distributed-process-task-queue

Haskell
2
star
23

updater-repo

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