Repositories list

• learn-ocaml

  Public
  A Web Application for Learning OCaml

  JavaScript

  •

  MIT License

  •66•0•0•1•Updated Jul 26, 2024Jul 26, 2024

• ilu3-coq-alectryon

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

  Coq

  •

  MIT License

  •0•2•0•0•Updated Jun 3, 2024Jun 3, 2024

• autograde-ocaml

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

  Shell

  •

  MIT License

  •0•2•0•0•Updated Mar 28, 2024Mar 28, 2024

• 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

  Mustache

  •1•0•0•0•Updated Nov 26, 2022Nov 26, 2022

• tapfa-coq-alectryon

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

  Coq

  •

  MIT License

  •0•1•0•0•Updated Oct 3, 2022Oct 3, 2022

• learn-ocaml-corpus

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

  OCaml

  •11•0•0•0•Updated Nov 7, 2021Nov 7, 2021

• learn-ocaml.el

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

  learn-ocamlemacsocaml

  Emacs Lisp

  •

  MIT License

  •1•7•3•1•Updated Oct 14, 2021Oct 14, 2021

• docker-emacs-learn-ocaml-client

  Public
  Dockerfile for learn-ocaml-client + GNU Emacs

  Emacs Lisp

  •0•0•0•0•Updated Oct 3, 2021Oct 3, 2021

• pfitaxel-demo-dev

  Public
  Demo of the learn-ocaml-editor

  Shell

  •1•0•0•0•Updated Jul 7, 2021Jul 7, 2021

• pfitaxel-demo

  Public
  Demo of the learn-ocaml-editor

  Shell

  •0•0•0•0•Updated Jul 7, 2021Jul 7, 2021

• docker-learn-ocaml

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

  Shell

  •

  MIT License

  •0•0•0•0•Updated Sep 24, 2020Sep 24, 2020

• pfitaxel-feedback

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

  0•0•0•0•Updated Sep 15, 2020Sep 15, 2020

• docker-opam-emacs

  Public archive
  Dockerfile with opam, emacs-nox

  Emacs Lisp

  •0•0•0•0•Updated Jan 12, 2020Jan 12, 2020

• learn-ocaml-editor

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

  JavaScript

  •

  GNU Affero General Public License v3.0

  •0•2•0•0•Updated Jul 5, 2019Jul 5, 2019

• pfitaxel-conv

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

  Python

  •0•0•0•0•Updated Sep 23, 2018Sep 23, 2018