Pinned Repositories
coccinelle
Release tracking for the Coccinelle project
efuns
An Emacs clone written in OCaml
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.
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/pfff
See https://github.com/returntocorp/pfff which is now the official pfff repository
aryx/xix
Plan9 software ported to OCaml
aryx/efuns
An Emacs clone written in OCaml
aryx/fork-kencc
DEPRECATED pad's first fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/
aryx/ocaml-elm-playground
Port of the Elm playground package to OCaml to make pictures, animations, and even video games easily.
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/ocamltarzan
DEPRECATED: 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/codemap
Source code visualizer
aryx/principia-softwarica
aryx/codegraph
Source code dependencies visualizer
aryx/fork-xv6
pad's fork of xv6
aryx/coccinelle
Release tracking for the Coccinelle project
aryx/meh
un brouteur web
aryx/commons-ocaml-pad
my own common OCaml library
aryx/ocaml-light
A fork of ocaml 1.07 without objects and without functors meant for education purposes
aryx/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
aryx/aryx.github.io
Aryx's website
aryx/codecheck
A multi-language whole-program analysis simple code checker
aryx/codequery
using prolog to query a codebase
aryx/fork-c--
pad's fork of qc--
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-libs
Fast and syntax-aware semantic code pattern search for many languages: like grep but for code
aryx/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.
aryx/test-gha