Discover @Armael Open Source projects

Armaël Guéneau (@Armael)

Armael

Stars
368
Global Rank 72,991 (Top 3 %)
Followers 137
Following 42
Registered almost 14 years ago
Most used languages

OCaml
88.2 %

Coq 2.9 %

TeX
2.9 %

Makefile 2.9 %

C
2.9 %
Location 🇫🇷 France
Country Total Rank 2,060
Country Ranking

OCaml
11

Coq 40

TeX
70

Makefile 461

C
2,710

papiers

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

pp_loc

Pretty-printing for error source locations

ocaml-i3ipc

A pure OCaml implementation of the i3 IPC protocol

coq-procrastination

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

conch

stone

A simple static website generator, written in OCaml

ocaml-wlc

Experimental OCaml bindings for Wlc

gal

A simple photo gallery webapp

lam

pixels

a shared pixel display controllable via TCP

cdcl

ocaml-loliwm

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

ocaml-kittyimg

Implementation of kitty's terminal graphics protocol

doggybag

take-away binaries

marracheck

Gotta check them all!

ocaml-libudev

Bindings to libudev for OCaml

tyxml-translator

A sugar-coated translation from HTML to Tyxml combinators

ocaml-nanosvg

NanoSVG + OCaml bindings

pong-matelight

A client-server pong game for the Mate-Light

jsoo-memgraph-toplevel

ocaml-xkbcommon

OCaml bindings to xkbcommon [wip]

ocaml-mcwayface

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

reverse-ffi-demo

minicooper

A Coq tactic for quantifier elimination in linear arithmetic

menu

aoc

ocaml-weechat-relay

i3-assistant

autowt

Use at your own risk

gen_js_api_helloworld

menu-workspaces

mini-bind-mounts

BatOptParse_example

An example illustrating the use of BatOptParse for command-line option parsing