Projet PFITAXEL

Projet PFITAXEL's repositories

Emacs mode for students using the learn-ocaml platform (https://ocaml-sf.org/learn-ocaml) [maintainer=@erikmd]

Language:Emacs LispMIT6 7 4

A tool for grading (offline) OCaml assignments, using the learn-ocaml app

Language:ShellMIT2 50

Supports de Cours de l'UE ILU3 - partie Coq - compilés avec l'outil Alectryon

Language:CoqMIT2 20

https://github.com/pfitaxel/learn-ocaml/tree/learn-ocaml-editor (←new URL) − Editor for the learn-ocaml web application

Language:JavaScriptAGPL-3.02 5 31

Supports de Cours UE TAPFA - Coq (→https://pfitaxel.github.io/ilu3-coq-alectryon)

Language:CoqMIT1 4 5

Dockerfile for learn-ocaml-client + GNU Emacs

Language:Emacs Lisp030

[DRAFT: learn-ocaml 0.13 has not yet been released!] docker-compose template for deploying learn-ocaml in a VM

Language:ShellMIT030

A Web Application for Learning OCaml

Language:JavaScriptMIT030

Converter from learn-ocaml-editor's json export to learn-ocaml's exodir format

Language:Python030

Demo of the learn-ocaml-editor

Language:Shell050

Demo of the learn-ocaml-editor

Language:Shell040

Retours (rapports de bug / remarques / suggestions) sur PFITAXEL/Learn-OCaml

030

Dockerfile with opam, emacs-nox

Language:Emacs Lisp050

A corpus of automatically graded exercises to learn functional programming in OCaml.

Language:OCaml000

PoC for https://github.com/ocaml-sf/learn-ocaml/issues/475; Integrated in https://github.com/ocaml-sf/learn-ocaml/pull/501

Language:Mustache000