Projet PFITAXEL (@pfitaxel)
Guthub

pfitaxel

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    13
  • Global Org. Rank 141,477 (Top 45 %)
  • Registered over 6 years ago
  • Most used languages
    Coq     40.0 %
    Emacs Lisp
         20.0 %
    Shell
         20.0 %
    JavaScript
         20.0 %
  • Location 🇫🇷 France
  • Country Total Rank 17,784
  • Country Ranking
    Coq     38
    Emacs Lisp
         101
    Shell
         3,442

Top repositories

1

learn-ocaml.el

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

learn-ocaml-editor

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

autograde-ocaml

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

ilu3-coq-alectryon

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

tapfa-coq-alectryon

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