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/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 = Types Abstraits et Programmation Fonctionnelle Avancée)
erikmd/gitpod-tp-env
Template repository for Emacs-in-Browser-Terminal using Dotfiles from https://github.com/erikmd/gitpod-workspace-emacs-nw
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
erikmd/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.
erikmd/gha-coq-demo-coq-nix-toolbox
erikmd/gitpod-bare-env
Created from https://github.com/erikmd/gitpod-tp-env
erikmd/gnome-screenshot-wrapper
A Bash wrapper for GNOME Screenshot
erikmd/math-comp
Mathematical Components
erikmd/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
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/coq-elpi
Coq plugin embedding elpi
erikmd/docker-keeper-dashboard
Dashboard for docker-keeper related repositories
erikmd/easy-check
erikmd/gha-coq-demo-docker-coq-action
erikmd/internship-M1
erikmd/js_of_ocaml
Compiler from OCaml to Javascript.
erikmd/ocaml-practice-exercises
Run OCaml Exercises Everywhere - Locally, Codespaces, Replit, Jupyter Notebook and Learn OCaml Platform
erikmd/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
erikmd/rocq-prover.org
The Rocq Prover Website
erikmd/spaceline
Powerline theme from Spacemacs
erikmd/TIR-PF-2021
erikmd/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
erikmd/wekan-launchpad
Docker: Alpine Linux and Wekan <=> MongoDB
erikmd/xterm-web-ide
The xterm.js web IDE aka The Browser Terminal