erikmd/tapfa-init.el erikmd/tapfa-init.el

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Emacs Lisp
  • License
    MIT License
  • Created almost 6 years ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
erikmd/tapfa-init.el
github

erikmd

Reviews

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

Repository Details

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

More Repositories

1

git-scripts

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

docker-coq-github-action-demo

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

docker-coq-travis-ci-demo-1

Docker-Coq + Travis CI demo 1
Coq
4
star
4

github-issues-import-api-tools

Tools for GitHub Issues Import API (json2github.py)
Python
4
star
5

tapfa-init-win64.el

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

ssr-under-tac

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

pfitaxel-offline

Dummy web server
Mustache
1
star
8

gnome-screenshot-wrapper

A Bash wrapper for GNOME Screenshot
Python
1
star
9

tapfa-init-macos.el

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

autosetup-tapfa

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

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)
OCaml
1
star
12

learn-ocaml-meetup-demo

Shell
1
star
13

coq-bool-games

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

docker-examples

Exemples et supports d'exercices autour de Docker
Java
1
star
15

coq-images

Docker images of Coq and MathComp
Dockerfile
1
star
16

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.
Python
1
star
17

docker-coq-travis-ci-demo-2

Docker-Coq + Travis CI demo 2
Dockerfile
1
star