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/github-issues-import-api-tools
Tools for GitHub Issues Import API (json2github.py)
erikmd/coq-bool-games
A formal study of Boolean games with random formulas as payoff functions (Coq lib.)
erikmd/beautiful-jekyll
Build a beautiful and simple website in literally minutes. Demo at http://deanattali.com/beautiful-jekyll
erikmd/docker-travis-demo
Tests using Docker within Travis CI
erikmd/git-flight-rules
Flight rules for git
erikmd/hevea-mathjax
small fork of the hevea latex to html translator, with a focus on enabling the generation of reveals.js slides
erikmd/infotheo
erikmd/install-tuareg-pfita
Script d'installation de Tuareg+Company+Merlin pour les TPs OCaml (in French)
erikmd/jplag
JPlag - Detecting Software Plagiarism
erikmd/jscoq
A port of Coq to Javascript -- Run Coq in your Browser
erikmd/jscoq-builds
Binary (sic) builds for jsCoq
erikmd/ogen
A tool for creating new OCaml projects with OPAM, Oasis, and Merlin
erikmd/opam-boot
Bootstrap scripts to build standalone OPAM projects
erikmd/org-gcal.el
Org sync with Google Calendar
erikmd/orgclone
erikmd/plugin_tutorials
A collection of small projects to illustrate how to write plugins for Coq
erikmd/proofgeneral.github.io
Sources for the ProofGeneral website at https://proofgeneral.github.io/
erikmd/stackify
erikmd/unison
Unison file synchronizer