aryx/fork-tiger

Stars
12
Rank 1,597,372 (Top 32 %)
Language
OCaml
License
Other
Created about 14 years ago
Updated about 9 years ago

aryx/fork-tiger

aryx

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

pad's fork of tiger for c--

fork-efuns

An Emacs clone written in OCaml

syncweb

literate programming meets unison

fork-kencc

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

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-mmm

pad's fork of ocaml mmm web browser

codegraph

Source code dependencies visualizer

fork-spim

pad's fork of spim, mips emulator by James Larus

codemap

Source code visualizer

fork-xv6

pad's fork of xv6

fork-rolling-moon

meh

un brouteur web

fork-efuns-old

pad's fork of efuns

principia-softwarica

codecheck

A multi-language whole-program analysis simple code checker

fork-ocsigen

pad's fork of ocaml ocsigen web server

commons-ocaml-pad

my own common OCaml library

ocaml-light

A fork of OCaml 1.07 without objects meant for education

pfff-mini

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

aryx.github.io

codequery

using prolog to query a codebase

pfff-bytecode

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

find-dupe

fork-mincaml

pad's fork of mincaml

fork-c--

pad's fork of qc--

fork-zamcov