aryx/fork-efuns

Stars
32
Rank 801,539 (Top 16 %)
Language
OCaml
License
Other
Created over 9 years ago
Updated 7 months ago

aryx/fork-efuns

aryx

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

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

pad's fork of tiger for c--

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