Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with nusmv

A curated list of projects in awesome lists tagged with nusmv .

- Recently synced
- Stars

https://github.com/badouralix/dockerfiles

Dockerfiles everywhere :whale:

blake2s buildx caddy covid-19 curl docker docker-desktop docker-image dockerfile ebpf jq linux-headers lustre nusmv oh-my-zsh-theme rancher-cli toolbox zunit

Last synced: 01 Aug 2024

https://github.com/ushitora-anqou/mahout

A K8s operator for Mastodon, written in OCaml and model checked by NuSMV.

docker kubernetes mastodon nusmv ocaml

Last synced: 25 Sep 2024