Paul Patault (@paulpatault)
github

paulpatault

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    10
  • Global Rank 957,816 (Top 34 %)
  • Followers 17
  • Following 12
  • Registered almost 6 years ago
  • Most used languages
    OCaml
         62.5 %
    Lua
         25.0 %
    JavaScript
         12.5 %
  • Location 🇫🇷 France
  • Country Total Rank 664,512
  • Country Ranking
    OCaml
         152
    Lua
         468

Top repositories

1

ocamlog

Lightweight logger for OCaml
OCaml
2
star
2

dotfiles

Arch linux 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

auto-demo

AutoDemo >> Coq >> Lean
OCaml
1
star
5

ElectronApp

Desktop todo list build with ElectonJS
JavaScript
1
star
6

kawa-compiler

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

dotfiles-macos

Configuration
Lua
1
star
8

propositional-prover

Project of INF551
OCaml
1
star