hol-light-docker

maggesi

Scripts for deploying HOL Light with Docker (and optional checkpointing)

infrastructure

View on GitHub

1 Stars

1 Forks

1 Watchers

Dockerfile Language

bsd-3-clause License

Cost to Build

$761

Market Value

$500

How is this calculated?

Growth over time

4 data points · 2021-08-01 → 2022-09-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about hol-light-docker

Question copied to clipboard

What is the maggesi/hol-light-docker GitHub project? Description: "Scripts for deploying HOL Light with Docker (and optional checkpointing)". Written in Dockerfile. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone hol-light-docker

Clone via HTTPS

git clone https://github.com/maggesi/hol-light-docker.git

Clone via SSH

[email protected]:maggesi/hol-light-docker.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the hol-light-docker issue tracker:

Open GitHub Issues

Similar to hol-light-docker

jsdelivr minicron deploykit foreman doctl paasta kubicorn Red-Team-Infrastructure-Wiki sacred aws-cf-templates AutoSpotting itamae alm psick ansible-best-practises sceptre kelda-old-open-source-project geoengineer awesome-devops infrataster react-native-slowlog kooper ansible-role-docker vigil template-building-blocks bee-stylish treescale pentagon awesome-learning kontemplate