erikmd/tapfa-init-macos.el

This repository has been archived on 17/Feb/2021
Stars
1
Language
Created almost 5 years ago
Updated almost 4 years ago

erikmd/tapfa-init-macos.el

erikmd

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

git-scripts

Some handy scripts that extend the standard behavior of Git (https://stackoverflow.com/a/48062878, https://stackoverflow.com/a/62432946)

docker-coq-github-action-demo

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

docker-coq-travis-ci-demo-1

Docker-Coq + Travis CI demo 1

tapfa-init.el

Environnement de TP pour OCaml et Coq avec GNU Emacs (UE TAPFA = Types Abstraits et Programmation Fonctionnelle Avancée)

github-issues-import-api-tools

Tools for GitHub Issues Import API (json2github.py)

tapfa-init-win64.el

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

ssr-under-tac

(A tactic to rewrite under lambdas in SSReflect/MathComp) => see https://github.com/coq/coq/pull/9651

pfitaxel-offline

Dummy web server

gnome-screenshot-wrapper

A Bash wrapper for GNOME Screenshot

autosetup-tapfa

Script de configuration automatique de l'environnement OCaml en salle de TP TAPFA (L3 Info, UPS)

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)

learn-ocaml-meetup-demo

coq-bool-games

A formal study of Boolean games with random formulas as payoff functions (Coq lib.)

docker-examples

Exemples et supports d'exercices autour de Docker

coq-images

Docker images of Coq and MathComp

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.

docker-coq-travis-ci-demo-2

Docker-Coq + Travis CI demo 2