Armaël Guéneau

papiers. A tool to index your papers/interesting links/... and quickly search through them

pp_loc. Pretty-printing for error source locations

stone. A simple static website generator, written in OCaml

coq-procrastination. A small Coq library for collecting side conditions and deferring their proof

ocaml-i3ipc. A pure OCaml implementation of the i3 IPC protocol

conch. OCaml

cdcl. OCaml

ocaml-wlc. Experimental OCaml bindings for Wlc

lam. OCaml

gal. A simple photo gallery webapp

ocaml-kittyimg. Implementation of kitty's terminal graphics protocol

pixels. a shared pixel display controllable via TCP

ocaml-loliwm. Translation of loliwm (https://github.com/Cloudef/loliwm) in OCaml

doggybag. take-away binaries

tyxml-translator. A sugar-coated translation from HTML to Tyxml combinators

ocaml-nanosvg. NanoSVG + OCaml bindings

marracheck. Gotta check them all!

ocaml-libudev. Bindings to libudev for OCaml

pong-matelight. A client-server pong game for the Mate-Light

jsoo-memgraph-toplevel. OCaml

ocaml-mcwayface. OCaml clone of https://github.com/SirCmpwn/mcwayface

ocaml-xkbcommon. OCaml bindings to xkbcommon [wip]

reverse-ffi-demo. C

minicooper. A Coq tactic for quantifier elimination in linear arithmetic

aoc. OCaml

ocaml-multicore. Multicore OCaml

scribouillitest. Mon site Scribouilli

menu. OCaml

ocaml-weechat-relay. OCaml

autowt. Use at your own risk

i3-assistant. OCaml

paste-py. Paste service that uses Pygments

shcaml. Caml-Shcaml: An Ocaml library for Unix shell programming http://armael.github.io/shcaml/doc

mini-bind-mounts. OCaml

gen_js_api_helloworld. Makefile