aryx/pfff-mini aryx/pfff-mini

  • Stars
    star
    1
  • Language
  • Created almost 5 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
aryx/pfff-mini
github

aryx

Reviews

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

Repository Details

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

More Repositories

1

fork-efuns

An Emacs clone written in OCaml
OCaml
32
star
2

syncweb

literate programming meets unison
OCaml
28
star
3

fork-kencc

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

lfs

logic file system
OCaml
27
star
5

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.
OCaml
25
star
6

xix

Plan9 software ported to OCaml
OCaml
24
star
7

ocamltarzan

Compile Time Reflection or Metaprogramming for OCaml
OCaml
18
star
8

fork-tiger

pad's fork of tiger for c--
OCaml
12
star
9

fork-mmm

pad's fork of ocaml mmm web browser
OCaml
9
star
10

codegraph

Source code dependencies visualizer
OCaml
5
star
11

fork-spim

pad's fork of spim, mips emulator by James Larus
C
5
star
12

codemap

Source code visualizer
OCaml
5
star
13

fork-xv6

pad's fork of xv6
C
4
star
14

fork-rolling-moon

OCaml
3
star
15

meh

un brouteur web
OCaml
3
star
16

fork-efuns-old

pad's fork of efuns
OCaml
2
star
17

principia-softwarica

C
2
star
18

codecheck

A multi-language whole-program analysis simple code checker
OCaml
2
star
19

fork-ocsigen

pad's fork of ocaml ocsigen web server
OCaml
2
star
20

commons-ocaml-pad

my own common OCaml library
OCaml
2
star
21

ocaml-light

A fork of OCaml 1.07 without objects meant for education
OCaml
2
star
22

aryx.github.io

Aryx's website
1
star
23

codequery

using prolog to query a codebase
1
star
24

pfff-bytecode

Parser for bytecode-like files (.class, .cmt, .clang)
OCaml
1
star
25

find-dupe

OCaml
1
star
26

fork-mincaml

pad's fork of mincaml
OCaml
1
star
27

fork-c--

pad's fork of qc--
OCaml
1
star
28

fork-zamcov

OCaml
1
star