aryx

I like to code and do research on stuff to make it easier to code stuff

Perugia, Italy

Pinned Repositories

coccinelle
Release tracking for the Coccinelle project
Language:OCaml3 4 01
fork-efuns
An Emacs clone written in OCaml
Language:OCaml32 5 11
fork-kencc
pad's fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/
Language:C31 2 12
lfs
logic file system
Language:OCaml28 5 05
pfff
See https://github.com/returntocorp/pfff which is now the official pfff repository
Language:OCaml33 2 65
principia-softwarica
Language:C5 2 00
syncweb
literate programming meets unison
Language:OCaml27 5 52
xix
Plan9 software ported to OCaml
Language:OCaml25 2 02
pfff
Tools for code analysis, visualizations, or style-preserving source transformation.
Language:OCaml2.4k 121 122204
semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Language:OCaml11.1k 105 3.1k661

aryx's Repositories

aryx/pfff
See https://github.com/returntocorp/pfff which is now the official pfff repository
Language:OCaml33 2 65
aryx/fork-efuns
An Emacs clone written in OCaml
Language:OCaml32 5 11
aryx/fork-kencc
pad's fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/
Language:C31 2 12
aryx/lfs
logic file system
Language:OCaml28 5 05
aryx/syncweb
literate programming meets unison
Language:OCaml27 5 52
aryx/xix
Plan9 software ported to OCaml
Language:OCaml25 2 02
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.
Language:OCaml25 4 42
aryx/ocaml-elm-playground
Port of the Elm playground package to OCaml to make pictures, animations, and even video games easily.
Language:OCaml21 1 01
aryx/ocamltarzan
Compile Time Reflection or Metaprogramming for OCaml
Language:OCaml17 3 01
aryx/fork-tiger
pad's fork of tiger for c--
Language:OCaml12 3 01
aryx/fork-mmm
pad's fork of ocaml mmm web browser
Language:OCaml9 3 0
aryx/codegraph
Source code dependencies visualizer
Language:OCaml5 2 0
aryx/codemap
Source code visualizer
Language:OCaml5 2 0
aryx/principia-softwarica
Language:C5 2 00
aryx/fork-xv6
pad's fork of xv6
Language:C4 2 0
aryx/fork-rolling-moon
Language:OCaml3 3 21
aryx/meh
un brouteur web
Language:OCaml3 3 01
aryx/fork-efuns-old
pad's fork of efuns
Language:OCaml2 3 0
aryx/fork-ocsigen
pad's fork of ocaml ocsigen web server
Language:OCaml2 2 01
aryx/ocaml-light
A fork of OCaml 1.07 without objects meant for education
Language:OCaml2 1 0
aryx/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Language:Shell2 2 0
aryx/aryx.github.io
Aryx's website
1 2 0
aryx/codecheck
A multi-language whole-program analysis simple code checker
Language:OCaml1 2 0
aryx/codequery
using prolog to query a codebase
1 1 0
aryx/find-dupe
Language:OCaml1 2 0
aryx/fork-c--
pad's fork of qc--
Language:OCaml1 2 0
aryx/fork-zamcov
Language:OCaml1 4 0
aryx/pfff-bytecode
Parser for bytecode-like files (.class, .cmt, .clang)
Language:OCaml1 2 0
aryx/pfff-mini
Experiment analysis on mini languages (mini C, mini Java, mini ML)
1 3 0
aryx/semgrep
Fast and syntax-aware semantic code pattern search for many languages: like grep but for code
Language:OCaml1 1 0