erikmd
Maître de Conférences en Informatique (IRIT/UT3)
Lab. IRIT, Univ. Toulouse 3 Paul SabatierToulouse, France
Pinned Repositories
docker-coq-action
GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
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: 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)
learn-ocaml
A Web Application for Learning OCaml
belgames
Coq proof for "Games of Incomplete Information: a Framework Based on Belief Functions"
PG
This repo is the new home of Proof General
validsdp
A Coq tactic for proving multivariate inequalities using SDP solvers
erikmd's Repositories
erikmd/docker-coq-github-action-demo
Demo of a regular Coq project using docker-coq-action as CI setup
erikmd/tapfa-init.el
Environnement de TP pour OCaml et Coq avec GNU Emacs (UE TAPFA)
erikmd/docker-examples
Exemples et supports d'exercices autour de Docker
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.
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/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
erikmd/pfitaxel-offline
Dummy web server
erikmd/alectryon
A collection of tools for writing technical documents that mix Coq code and prose.
erikmd/awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]
erikmd/awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
erikmd/bot
A (Coq Development Team) bot written in OCaml
erikmd/caml-mode
Emacs mode to edit OCaml files
erikmd/centaur-tabs
Emacs plugin aiming to become an aesthetic, modern looking tabs plugin
erikmd/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
erikmd/docker-pandoc-latex-extra
erikmd/dotsh
A fast dotfiles and system configuration installer optimized for Gitpod and power users
erikmd/easy-check
erikmd/gitpod-tp-env
erikmd/gitpod-workspace-emacs-nw
Self-contained repo: CDE config for Gitpod workspace based on Docker-Coq image using Emacs in (browser) terminal.
erikmd/internship-M1
erikmd/js_of_ocaml
Compiler from OCaml to Javascript.
erikmd/math-comp
Mathematical Components
erikmd/melpa
Recipes and build machinery for the biggest Emacs package repo
erikmd/merlin
Context sensitive completion for OCaml in Vim and Emacs
erikmd/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
erikmd/spaceline
Powerline theme from Spacemacs
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)