Yoann Padioleau

principia-softwarica. Fork of Plan 9 meant for education. https://principia-softwarica.org/

xix. Plan 9 programs ported to OCaml https://aryx.github.io/xix/index.html

syncweb. literate programming meets unison

efuns. An Emacs clone written in OCaml

pfff. See https://github.com/returntocorp/pfff which is now the official pfff repository

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

ocaml-elm-playground. Port of the Elm playground package to OCaml to make pictures, animations, and even video games easily.

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.

goken9cc. goken9cc — A portable multi-platform C compiler, assembler, and linker rooted in Ken Thompson’s Plan 9 and Inferno toolchains, extended by Go developers to support also Linux, macOS, and Windows.

ocamltarzan. DEPRECATED: Compile Time Reflection or Metaprogramming for OCaml

fork-tiger. pad's fork of tiger for c--

mmm. pad's fork of OCaml MMM Web browser

codemap. Source code visualizer

codegraph. Source code dependencies visualizer

osemgrep. A semantic grep

ocaml-light. A fork of ocaml 1.07 without objects and without functors meant for education purposes

fork-xv6. pad's fork of xv6

meh. un brouteur web

opam-repository. Main public package repository for OPAM, the source package manager of OCaml.

coccinelle. Release tracking for the Coccinelle project

codequery. using prolog to query a codebase

codecheck. A multi-language whole-program analysis simple code checker

aryx.github.io. Aryx's website

commons-ocaml-pad. DEPRECATED: my own common OCaml library

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

pfff-mini. Experiment analysis on mini languages (mini C, mini Java, mini ML)