Erik Martin-Dorel's repositories
tapfa-init.el
Environnement de TP pour OCaml et Coq avec GNU Emacs (UE TAPFA)
gnome-screenshot-wrapper
A Bash wrapper for GNOME Screenshot
centaur-tabs
Emacs plugin aiming to become an aesthetic, modern looking tabs plugin
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.
bot
A (Coq Development Team) bot written in OCaml
caml-mode
Emacs mode to edit OCaml files
spaceline
Powerline theme from Spacemacs
awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]
gitpod-workspace-emacs-nw
Self-contained repo: CDE config for Gitpod workspace based on Docker-Coq image using Emacs in (browser) terminal.
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.
awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
math-comp
Mathematical Components
js_of_ocaml
Compiler from OCaml to Javascript.
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
tuareg
Emacs OCaml mode
merlin
Context sensitive completion for OCaml in Vim and Emacs
wsl-alias
Create aliases for Linux commands in Windows command line (for WSL)
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)
dotsh
A fast dotfiles and system configuration installer optimized for Gitpod and power users
pfitaxel-offline
Dummy web server
docker-examples
Exemples et supports d'exercices autour de Docker
melpa
Recipes and build machinery for the biggest Emacs package repo
todomvc
Helping you select an MV* framework - Todo apps for React.js, Ember.js, Angular, and many more
docker-coq-github-action-demo
Demo of a regular Coq project using docker-coq-action as CI setup