erikmd

Erik Martin-Dorel's repositories

docker-coq-github-action-demo

Demo of a regular Coq project using docker-coq-action as CI setup

Language:CoqMIT6 5 2

tapfa-init.el

Environnement de TP pour OCaml et Coq avec GNU Emacs (UE TAPFA)

Language:Emacs LispMIT4 4 1

docker-examples

Exemples et supports d'exercices autour de Docker

Language:JavaMIT1 30

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.

Language:PythonMIT1 20

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)

Language:OCamlMIT100

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

Language:ShellCC0-1.01 30

pfitaxel-offline

Dummy web server

Language:MustacheMIT1 20

alectryon

A collection of tools for writing technical documents that mix Coq code and prose.

MIT000

awesome-coq

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]

CC0-1.0020

awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

000

bot

A (Coq Development Team) bot written in OCaml

Language:OCamlMIT010

caml-mode

Emacs mode to edit OCaml files

GPL-2.0000

centaur-tabs

Emacs plugin aiming to become an aesthetic, modern looking tabs plugin

Language:Emacs LispGPL-3.0010

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.

Language:OCamlLGPL-2.1040