Skip to content
View aryx's full-sized avatar

Organizations

@coccinelle

Block or report aryx

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
  • Port of the Elm playground package to OCaml to make pictures, animations, and even games easily.

    OCaml 1 BSD 3-Clause "New" or "Revised" License Updated Dec 14, 2024
  • Main public package repository for OPAM, the source package manager of OCaml.

    Shell 2 Creative Commons Zero v1.0 Universal Updated Dec 9, 2024
  • C 2 Other Updated Jun 9, 2024
  • xix Public

    Plan9 software ported to OCaml

    OCaml 25 2 Other Updated Apr 27, 2024
  • ocaml-light Public

    A fork of OCaml 1.07 without objects meant for education

    OCaml 2 Other Updated Apr 27, 2024
  • fork-efuns Public

    An Emacs clone written in OCaml

    OCaml 32 1 Other Updated Apr 27, 2024
  • codemap Public

    Source code visualizer

    OCaml 5 Updated Apr 26, 2024
  • codegraph Public

    Source code dependencies visualizer

    OCaml 5 Updated Apr 25, 2024
  • syncweb Public

    literate programming meets unison

    OCaml 27 2 GNU General Public License v2.0 Updated Apr 23, 2024
  • ocamltarzan Public

    Compile Time Reflection or Metaprogramming for OCaml

    OCaml 17 1 Other Updated Apr 21, 2024
  • fork-kencc Public

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

    C 28 2 Other Updated Apr 21, 2024
  • Parser for bytecode-like files (.class, .cmt, .clang)

    OCaml 1 Updated Apr 14, 2023
  • codecheck Public

    A multi-language whole-program analysis simple code checker

    OCaml 1 Updated Jan 10, 2023
  • codequery Public

    using prolog to query a codebase

    1 Updated Jan 3, 2023
  • Aryx's website

    1 Updated Nov 7, 2020
  • pfff Public

    Forked from facebookarchive/pfff

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

    OCaml 33 5 Other Updated Jul 28, 2020
  • semgrep Public

    Forked from semgrep/semgrep

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

    OCaml 1 GNU Lesser General Public License v2.1 Updated May 20, 2020
  • pfff-mini Public

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

    1 Updated Dec 13, 2019
  • OCaml 3 1 GNU General Public License v3.0 Updated Sep 16, 2019
  • yacfe Public

    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.

    OCaml 25 2 Other Updated Sep 2, 2018
  • fork-mmm Public

    pad's fork of ocaml mmm web browser

    OCaml 9 Other Updated May 22, 2018
  • find-dupe Public

    OCaml 1 Updated May 19, 2018
  • lfs Public

    logic file system

    OCaml 28 5 GNU General Public License v2.0 Updated Mar 16, 2018
  • fork-tiger Public

    pad's fork of tiger for c--

    OCaml 12 1 Other Updated Nov 14, 2015
  • meh Public

    un brouteur web

    OCaml 3 1 GNU General Public License v2.0 Updated Jul 4, 2015
  • fork-c-- Public

    pad's fork of qc--

    OCaml 1 Other Updated Feb 1, 2015
  • fork-xv6 Public

    pad's fork of xv6

    C 4 Other Updated Aug 29, 2014
  • fork-zamcov Public

    OCaml 1 Updated Sep 26, 2013
  • pad's fork of ocaml ocsigen web server

    OCaml 2 1 Updated Oct 22, 2011
  • pad's fork of efuns

    OCaml 2 Other Updated Mar 12, 2011