Paul Patault (@paulpatault)
github

paulpatault

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    11
  • Global Rank 920,445 (Top 32 %)
  • Followers 23
  • Following 12
  • Registered about 6 years ago
  • Most used languages
    OCaml
         55.6 %
    Lua
         22.2 %
    JavaScript
         11.1 %
    Coq     11.1 %
  • Location 🇫🇷 France
  • Country Total Rank 664,512
  • Country Ranking
    Coq     48
    OCaml
         159
    Lua
         484

Top repositories

1

ocamlog

Lightweight logger for OCaml
OCaml
2
star
2

dotfiles

Arch linux dotfiles (you may find my current config on https://codeberg.org/paulpatault/dotfiles)
Lua
2
star
3

mini-c-interpreter

Vérificateur de type et interprète pour un fragment du langage C. Projet de L3-Magistère Informatique.
OCaml
1
star
4

mutilated-chessboard

Projet du cours de Coq du master LMFI
Coq
1
star
5

auto-demo

AutoDemo >> Coq >> Lean
OCaml
1
star
6

ElectronApp

Desktop todo list build with ElectonJS
JavaScript
1
star
7

kawa-compiler

Compilateur optimisant pour Kawa vers l'assembleur MIPS. Projet de M1-MPRI et 2A-Magistère.
OCaml
1
star
8

dotfiles-macos

Configuration
Lua
1
star
9

propositional-prover

Project of INF551
OCaml
1
star