• Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    C
  • License
    BSD 3-Clause "New...
  • Created about 14 years ago
  • Updated about 14 years ago

Reviews

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

Repository Details

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

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

codemap

Source code visualizer
OCaml
5
star
12

fork-xv6

pad's fork of xv6
C
4
star
13

fork-rolling-moon

OCaml
3
star
14

meh

un brouteur web
OCaml
3
star
15

fork-efuns-old

pad's fork of efuns
OCaml
2
star
16

principia-softwarica

C
2
star
17

codecheck

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

fork-ocsigen

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

commons-ocaml-pad

my own common OCaml library
OCaml
2
star
20

ocaml-light

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

pfff-mini

Experiment analysis on mini languages (mini C, mini Java, mini ML)
1
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