aryx

pfff

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

fork-efuns

An Emacs clone written in OCaml

fork-kencc

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

syncweb

literate programming meets unison

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

codemap

Source code visualizer

fork-xv6

pad's fork of xv6

meh

un brouteur web

fork-efuns-old

pad's fork of efuns

fork-ocsigen

pad's fork of ocaml ocsigen web server

fork-rolling-moon

codecheck

A multi-language whole-program analysis simple code checker

fork-c--

pad's fork of qc--

fork-mincaml

pad's fork of mincaml

fork-zamcov

ocaml-light

A fork of OCaml 1.07 without objects meant for education

opam-repository

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

principia-softwarica

aryx.github.io

Aryx's website

codequery

using prolog to query a codebase

find-dupe

pfff-bytecode

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

pfff-mini

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

semgrep

Fast and syntax-aware semantic code pattern search for many languages: like grep but for code