Armaël Guéneau (@Armael)
github

Armael

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    381
  • Global Rank 73,190 (Top 3 %)
  • Followers 141
  • Following 41
  • Registered over 14 years ago
  • Most used languages
    OCaml
         85.3 %
    TeX
         2.9 %
    Coq     2.9 %
    Ruby
         2.9 %
    Makefile     2.9 %
    C
         2.9 %
  • Location 🇫🇷 France
  • Country Total Rank 2,060
  • Country Ranking
    OCaml
         10
    Coq     37
    TeX
         75
    Makefile     580
    Ruby
         1,050
    C
         2,638

Top repositories

1

papiers

A tool to index your papers/interesting links/... and quickly search through them
OCaml
49
star
2

pp_loc

Pretty-printing for error source locations
OCaml
36
star
3

ocaml-i3ipc

A pure OCaml implementation of the i3 IPC protocol
OCaml
24
star
4

conch

OCaml
23
star
5

coq-procrastination

A small Coq library for collecting side conditions and deferring their proof
TeX
22
star
6

stone

A simple static website generator, written in OCaml
OCaml
19
star
7

ocaml-wlc

Experimental OCaml bindings for Wlc
OCaml
16
star
8

lam

OCaml
15
star
9

gal

A simple photo gallery webapp
OCaml
15
star
10

cdcl

OCaml
13
star
11

ocaml-kittyimg

Implementation of kitty's terminal graphics protocol
OCaml
13
star
12

pixels

a shared pixel display controllable via TCP
OCaml
13
star
13

doggybag

take-away binaries
OCaml
12
star
14

ocaml-loliwm

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

marracheck

Gotta check them all!
OCaml
10
star
16

ocaml-libudev

Bindings to libudev for OCaml
OCaml
10
star
17

tyxml-translator

A sugar-coated translation from HTML to Tyxml combinators
OCaml
9
star
18

ocaml-nanosvg

NanoSVG + OCaml bindings
OCaml
9
star
19

pong-matelight

A client-server pong game for the Mate-Light
OCaml
8
star
20

jsoo-memgraph-toplevel

OCaml
7
star
21

ocaml-xkbcommon

OCaml bindings to xkbcommon [wip]
OCaml
5
star
22

ocaml-mcwayface

OCaml clone of https://github.com/SirCmpwn/mcwayface
OCaml
5
star
23

reverse-ffi-demo

C
3
star
24

minicooper

A Coq tactic for quantifier elimination in linear arithmetic
Coq
3
star
25

scribouillitest

Mon site Scribouilli
Ruby
3
star
26

menu

OCaml
3
star
27

aoc

OCaml
3
star
28

ocaml-weechat-relay

OCaml
2
star
29

i3-assistant

OCaml
2
star
30

autowt

Use at your own risk
OCaml
2
star
31

gen_js_api_helloworld

Makefile
1
star
32

menu-workspaces

OCaml
1
star
33

mini-bind-mounts

OCaml
1
star
34

BatOptParse_example

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