Pinned Loading
Repositories
Showing 10 of 15 repositories
- ilu3-coq-alectryon Public
Supports de Cours de l'UE ILU3 - partie Coq - compilés avec l'outil Alectryon
pfitaxel/ilu3-coq-alectryon’s past year of commit activity - learn-ocaml-issue475-poc Public
PoC for https://github.com/ocaml-sf/learn-ocaml/issues/475; Integrated in https://github.com/ocaml-sf/learn-ocaml/pull/501
pfitaxel/learn-ocaml-issue475-poc’s past year of commit activity - tapfa-coq-alectryon Public archive
Supports de Cours UE TAPFA - Coq (→https://pfitaxel.github.io/ilu3-coq-alectryon)
pfitaxel/tapfa-coq-alectryon’s past year of commit activity - learn-ocaml-corpus Public Forked from ocaml-sf/learn-ocaml-corpus
A corpus of automatically graded exercises to learn functional programming in OCaml.
pfitaxel/learn-ocaml-corpus’s past year of commit activity - learn-ocaml.el Public
Emacs mode for students using the learn-ocaml platform (https://ocaml-sf.org/learn-ocaml) [maintainer=@erikmd]
pfitaxel/learn-ocaml.el’s past year of commit activity