Pinned Repositories
coccinelle
Release tracking for the Coccinelle project
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/
lfs
logic file system
pfff
See https://github.com/returntocorp/pfff which is now the official pfff repository
principia-softwarica
syncweb
literate programming meets unison
xix
Plan9 software ported to OCaml
pfff
Tools for code analysis, visualizations, or style-preserving source transformation.
semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
aryx's Repositories
aryx/fork-efuns
An Emacs clone written in OCaml
aryx/pfff
See https://github.com/returntocorp/pfff which is now the official pfff repository
aryx/fork-kencc
pad's fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/
aryx/syncweb
literate programming meets unison
aryx/lfs
logic file system
aryx/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.
aryx/xix
Plan9 software ported to OCaml
aryx/ocamltarzan
Compile Time Reflection or Metaprogramming for OCaml
aryx/fork-tiger
pad's fork of tiger for c--
aryx/fork-mmm
pad's fork of ocaml mmm web browser
aryx/codegraph
Source code dependencies visualizer
aryx/codemap
Source code visualizer
aryx/fork-xv6
pad's fork of xv6
aryx/meh
un brouteur web
aryx/fork-efuns-old
pad's fork of efuns
aryx/fork-ocsigen
pad's fork of ocaml ocsigen web server
aryx/fork-rolling-moon
aryx/codecheck
A multi-language whole-program analysis simple code checker
aryx/fork-c--
pad's fork of qc--
aryx/fork-mincaml
pad's fork of mincaml
aryx/fork-zamcov
aryx/ocaml-light
A fork of OCaml 1.07 without objects meant for education
aryx/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
aryx/principia-softwarica
aryx/aryx.github.io
Aryx's website
aryx/codequery
using prolog to query a codebase
aryx/find-dupe
aryx/pfff-bytecode
Parser for bytecode-like files (.class, .cmt, .clang)
aryx/pfff-mini
Experiment analysis on mini languages (mini C, mini Java, mini ML)
aryx/semgrep
Fast and syntax-aware semantic code pattern search for many languages: like grep but for code