Yoann Padioleau (@aryx)
github

aryx

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    264
  • Global Rank 98,343 (Top 4 %)
  • Followers 423
  • Following 26
  • Registered about 14 years ago
  • Most used languages
    OCaml
         83.3 %
    C
         16.7 %
  • Location 🇮🇹 Italy
  • Country Total Rank 941
  • Country Ranking
    OCaml
         2
    C
         198

Top repositories

1

fork-efuns

An Emacs clone written in OCaml
OCaml
31
star
2

syncweb

literate programming meets unison
OCaml
27
star
3

fork-kencc

pad's fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/
C
27
star
4

lfs

logic file system
OCaml
26
star
5

yacfe

Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on C source code.
OCaml
24
star
6

xix

Plan9 software ported to OCaml
OCaml
23
star
7

ocamltarzan

Compile Time Reflection or Metaprogramming for OCaml
OCaml
17
star
8

fork-tiger

pad's fork of tiger for c--
OCaml
11
star
9

fork-mmm

pad's fork of ocaml mmm web browser
OCaml
8
star
10

fork-spim

pad's fork of spim, mips emulator by James Larus
C
5
star
11

codegraph

Source code dependencies visualizer
OCaml
4
star
12

fork-xv6

pad's fork of xv6
C
4
star
13

codemap

Source code visualizer
OCaml
4
star
14

meh

un brouteur web
OCaml
3
star
15

fork-efuns-old

pad's fork of efuns
OCaml
2
star
16

fork-rolling-moon

OCaml
2
star
17

fork-ocsigen

pad's fork of ocaml ocsigen web server
OCaml
2
star
18

commons-ocaml-pad

my own common OCaml library
OCaml
2
star
19

fork-mincaml

pad's fork of mincaml
OCaml
1
star
20

principia-softwarica

C
1
star
21

fork-c--

pad's fork of qc--
OCaml
1
star
22

fork-zamcov

OCaml
1
star
23

codecheck

A multi-language whole-program analysis simple code checker
OCaml
1
star
24

ocaml-light

A fork of OCaml 1.07 without objects meant for education
OCaml
1
star