Erik Martin-Dorel's repositories
docker-coq-github-action-demo
Demo of a regular Coq project using docker-coq-action as CI setup
tapfa-init.el
Environnement de TP pour OCaml et Coq avec GNU Emacs (UE TAPFA = Types Abstraits et Programmation Fonctionnelle Avancée)
docker-examples
Exemples et supports d'exercices autour de Docker
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.
gnome-screenshot-wrapper
A Bash wrapper for GNOME Screenshot
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)
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
pfitaxel-offline
Dummy web server
awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]
awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
centaur-tabs
Emacs plugin aiming to become an aesthetic, modern looking tabs plugin
docker-keeper-dashboard
Dashboard for docker-keeper related repositories
gitpod-workspace-emacs-nw
Self-contained repo: CDE config for Gitpod workspace based on Docker-Coq image using Emacs in (browser) Terminal.
js_of_ocaml
Compiler from OCaml to Javascript.
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
tuareg
Emacs OCaml mode
wsl-alias
Create aliases for Linux commands in Windows command line (for WSL)