Discover @aryx Open Source projects

Yoann Padioleau (@aryx)

aryx

Stars
287
Global Rank 92,325 (Top 4 %)
Followers 431
Following 26
Registered over 14 years ago
Most used languages

OCaml
84.6 %

C
15.4 %
Location 🇮🇹 Italy
Country Total Rank 941
Country Ranking

OCaml
2

C
193

fork-efuns

An Emacs clone written in OCaml

syncweb

literate programming meets unison

fork-kencc

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

lfs

logic file system

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.

xix

Plan9 software ported to OCaml

ocamltarzan

Compile Time Reflection or Metaprogramming for OCaml

fork-tiger

pad's fork of tiger for c--

fork-mmm

pad's fork of ocaml mmm web browser

codegraph

Source code dependencies visualizer

fork-spim

pad's fork of spim, mips emulator by James Larus

codemap

Source code visualizer

fork-xv6

pad's fork of xv6

fork-rolling-moon

meh

un brouteur web

fork-efuns-old

pad's fork of efuns

principia-softwarica

codecheck

A multi-language whole-program analysis simple code checker

fork-ocsigen

pad's fork of ocaml ocsigen web server

commons-ocaml-pad

my own common OCaml library

ocaml-light

A fork of OCaml 1.07 without objects meant for education

pfff-mini

Experiment analysis on mini languages (mini C, mini Java, mini ML)

aryx.github.io

codequery

using prolog to query a codebase

pfff-bytecode

Parser for bytecode-like files (.class, .cmt, .clang)

find-dupe

fork-mincaml

pad's fork of mincaml

fork-c--

pad's fork of qc--

fork-zamcov