erikmd/docker-examples

Stars
1
Language
Java
License
MIT License
Created over 6 years ago
Updated over 1 year ago

erikmd/docker-examples

erikmd

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

Exemples et supports d'exercices autour de Docker

git-scripts

Some handy scripts that extend the standard behavior of Git (https://stackoverflow.com/a/48062878, https://stackoverflow.com/a/62432946)

docker-coq-github-action-demo

Demo of a regular Coq project using docker-coq-action as CI setup

docker-coq-travis-ci-demo-1

Docker-Coq + Travis CI demo 1

tapfa-init.el

Environnement de TP pour OCaml et Coq avec GNU Emacs (UE TAPFA = Types Abstraits et Programmation Fonctionnelle Avancée)

github-issues-import-api-tools

Tools for GitHub Issues Import API (json2github.py)

tapfa-init-win64.el

Environnement de TP pour OCaml et Coq avec GNU Emacs sous Windows 10 (UE TAPFA)

ssr-under-tac

(A tactic to rewrite under lambdas in SSReflect/MathComp) => see https://github.com/coq/coq/pull/9651

pfitaxel-offline

Dummy web server

gnome-screenshot-wrapper

A Bash wrapper for GNOME Screenshot

tapfa-init-macos.el

Environnement de TP pour OCaml et Coq avec GNU Emacs sous macOS (UE TAPFA)

autosetup-tapfa

Script de configuration automatique de l'environnement OCaml en salle de TP TAPFA (L3 Info, UPS)

learn-ocaml-meetup-demo-repository

Minimal working example of a learn-ocaml source repo (slides : https://www.irit.fr/~Erik.Martin-Dorel/exposes/2022-W41_learn-ocaml_meetup.pdf)

learn-ocaml-meetup-demo

coq-bool-games

A formal study of Boolean games with random formulas as payoff functions (Coq lib.)

coq-images

Docker images of Coq and MathComp

docker-keeper

Mirror of https://gitlab.com/erikmd/docker-keeper: Tool to help maintain Docker Hub repositories of stable, dev, or nightly-build images from a YAML-specified, single-branch GitLab repository.

docker-coq-travis-ci-demo-2

Docker-Coq + Travis CI demo 2