Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by erikmd
A curated list of projects in awesome lists by erikmd .
https://github.com/erikmd/docker-coq-github-action-demo
Demo of a regular Coq project using docker-coq-action as CI setup
Last synced: 28 Oct 2024
https://github.com/erikmd/git-scripts
Some handy scripts that extend the standard behavior of Git (https://stackoverflow.com/a/48062878, https://stackoverflow.com/a/62432946)
Last synced: 10 Oct 2024
https://github.com/erikmd/tapfa-init.el
Environnement de TP pour OCaml et Coq avec GNU Emacs (UE TAPFA = Types Abstraits et Programmation Fonctionnelle Avancée)
coq emacs ocaml opam proof-general wsl
Last synced: 28 Oct 2024
https://github.com/erikmd/github-issues-import-api-tools
Tools for GitHub Issues Import API (json2github.py)
Last synced: 06 Nov 2024
https://github.com/erikmd/docker-coq-travis-ci-demo-1
Docker-Coq + Travis CI demo 1
Last synced: 06 Nov 2024
https://github.com/erikmd/docker-examples
Exemples et supports d'exercices autour de Docker
Last synced: 06 Nov 2024
https://github.com/erikmd/gnome-screenshot-wrapper
A Bash wrapper for GNOME Screenshot
Last synced: 06 Nov 2024
https://github.com/erikmd/autosetup-tapfa
Script de configuration automatique de l'environnement OCaml en salle de TP TAPFA (L3 Info, UPS)
Last synced: 06 Nov 2024
https://github.com/erikmd/tryjscoq
Try Coq in your browser using jsCoq - https://erikmd.github.io/tryjscoq - https://erikmd.github.io/tryjscoq/tapfa/preuves.v
Last synced: 06 Nov 2024
https://github.com/erikmd/gitpod-workspace-emacs-nw
Self-contained repo: Dotfiles config for Gitpod workspaces (CDE) using a Docker-Coq image and Emacs+PG in (browser) terminal
Last synced: 21 Dec 2024
https://github.com/erikmd/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-compose docker-coq docker-hub gitlab-ci yaml
Last synced: 06 Nov 2024
https://github.com/erikmd/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)
Last synced: 06 Nov 2024
https://github.com/erikmd/docker-coq-travis-ci-demo-2
Docker-Coq + Travis CI demo 2
ci coq docker-coq dockerfile travis-ci
Last synced: 06 Nov 2024
https://github.com/erikmd/coq-bool-games
A formal study of Boolean games with random formulas as payoff functions (Coq lib.)
Last synced: 06 Nov 2024
https://github.com/erikmd/gitpod-tp-env
Template repository for Emacs-in-Browser-Terminal using Dotfiles from https://github.com/erikmd/gitpod-workspace-emacs-nw
Last synced: 15 Dec 2024
https://github.com/erikmd/tpenv
Sauvegarde de l'environnement local de TP dans un dossier synchronisé
Last synced: 06 Nov 2024
https://github.com/erikmd/docker-hub-helper
Tool to help maintain multi-branches, automated-build repos on Docker Hub - see also https://gitlab.com/erikmd/docker-keeper
Last synced: 10 Oct 2024
https://github.com/erikmd/docker-run-github-workflow-example
docker-coq-action example with custom_script and artifacts generation
Last synced: 06 Nov 2024
https://github.com/erikmd/docker-travis-demo
Tests using Docker within Travis CI
Last synced: 06 Nov 2024
https://github.com/erikmd/coq-init.el
Config proof-general/company-coq (OLD REPOSITORY)
Last synced: 06 Nov 2024
https://github.com/erikmd/install-tuareg-pfita
Script d'installation de Tuareg+Company+Merlin pour les TPs OCaml (in French)
Last synced: 06 Nov 2024
https://github.com/erikmd/docker-keeper-dashboard
Dashboard for docker-keeper related repositories
Last synced: 06 Nov 2024