Armaël Guéneau

icon company Inria icon location Paris-Saclay

Results 6 repositories owned by Armaël Guéneau

conch

20
Stars
2
Forks
Watchers

verified publisher icon Armael

coq-procrastination

22
Stars
1
Forks
Watchers

A small Coq library for collecting side conditions and deferring their proof

verified publisher icon Armael

gal

16
Stars
0
Forks
Watchers

A simple photo gallery webapp

verified publisher icon Armael

ocaml-i3ipc

24
Stars
6
Forks
Watchers

A pure OCaml implementation of the i3 IPC protocol

verified publisher icon Armael

ocaml-wlc

16
Stars
0
Forks
Watchers

Experimental OCaml bindings for Wlc

verified publisher icon Armael

pp_loc

34
Stars
5
Forks
Watchers

Pretty-printing for error source locations

verified publisher icon Armael