Pinned Repositories
docker-coq-github-action-demo
Demo of a regular Coq project using docker-coq-action as CI setup
docker-keeper
Mirror of https://gitlab.com/erikmd/docker-keeper [maintainer=@erikmd]: Tool to help maintain Docker Hub repositories of stable, dev, or nightly-build images from a YAML-specified, single-branch GitLab repository.
git-scripts
Some handy scripts that extend the standard behavior of Git (https://stackoverflow.com/a/48062878, https://stackoverflow.com/a/62432946)
tapfa-init.el
Environnement de TP pour OCaml et Coq avec GNU Emacs (UE TAPFA = Types Abstraits et Programmation Fonctionnelle Avancée)
learn-ocaml
A Web Application for Learning OCaml
opam-switch-mode
Select OCaml opam switches via a menu or using a command
PG
This repo is the new home of Proof General
docker-coq-action
GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
validsdp
A Coq tactic for proving multivariate inequalities using SDP solvers
erikmd's Repositories
erikmd/git-scripts
Some handy scripts that extend the standard behavior of Git (https://stackoverflow.com/a/48062878, https://stackoverflow.com/a/62432946)
erikmd/tapfa-init-win64.el
Environnement de TP pour OCaml et Coq avec GNU Emacs sous Windows 10 (UE TAPFA)
erikmd/autosetup-tapfa
Script de configuration automatique de l'environnement OCaml en salle de TP TAPFA (L3 Info, UPS)
erikmd/docker-examples
Exemples et supports d'exercices autour de Docker
erikmd/learn-ocaml-meetup-demo
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)
erikmd/pfitaxel-offline
Dummy web server
erikmd/tapfa-init-macos.el
Environnement de TP pour OCaml et Coq avec GNU Emacs sous macOS (UE TAPFA)
erikmd/alectryon
A collection of tools for writing technical documents that mix Coq code and prose.
erikmd/ceps
Coq Enhancement Proposals
erikmd/company-coq
IDE extensions for Proof General's Coq mode
erikmd/csclub-coq-course-spring-2021
A course on formal verification at https://compsciclub.ru/en, Spring term 2021
erikmd/docker-coq-action-multi-opam-demo
erikmd/docker-pandoc-latex-extra
erikmd/docker-run-github-workflow-example
docker-coq-action example with custom_script and artifacts generation
erikmd/dotsh
A fast dotfiles and system configuration installer optimized for Gitpod and power users
erikmd/lsp-gitpod
erikmd/magit
It's Magit! A Git porcelain inside Emacs.
erikmd/melpa
Recipes and build machinery for the biggest Emacs package repo
erikmd/merlin
Context sensitive completion for OCaml in Vim and Emacs
erikmd/multinomials
Multinomials for Ssreflect
erikmd/platform
Multi platform setup for Coq, Coq libraries and tools
erikmd/poc-github-ci
PoC GitHub CI
erikmd/quad-tp1
TP1 UE QuaD - starter
erikmd/release-please
generate release PRs based on the conventionalcommits.org spec
erikmd/release-please-action
automated releases based on conventional commits
erikmd/todomvc
Helping you select an MV* framework - Todo apps for React.js, Ember.js, Angular, and many more
erikmd/tuareg
Emacs OCaml mode
erikmd/wsl-alias
Create aliases for Linux commands in Windows command line (for WSL)
erikmd/yamlview
PoC (YAML spec & Vue.js frontend)