-
principia-softwarica Public
Fork of Plan 9 meant for education. https://principia-softwarica.org/
-
-
xix Public
Plan 9 programs ported to OCaml https://aryx.github.io/xix/index.html
-
syncweb Public
literate programming meets unison
-
goken9cc Public
goken9cc — A portable multi-platform C compiler, assembler, and linker rooted in Ken Thompson’s Plan 9 and Inferno toolchains, extended by Go developers to support also Linux, macOS, and Windows.
-
-
-
-
ocaml-light Public
A fork of ocaml 1.07 without objects and without functors meant for education purposes
-
-
-
-
osemgrep Public
Forked from semgrep/semgrepA semantic grep
-
ocaml-elm-playground Public
Port of the Elm playground package to OCaml to make pictures, animations, and even video games easily.
-
fork-kencc Public
DEPRECATED pad's first fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/
-
coccinelle Public
Forked from coccinelle/coccinelleRelease tracking for the Coccinelle project
-
-
ocamltarzan Public
DEPRECATED: Compile Time Reflection or Metaprogramming for OCaml
-
codecheck Public
A multi-language whole-program analysis simple code checker
-
-
-
pfff Public
Forked from facebookarchive/pfffSee https://github.com/returntocorp/pfff which is now the official pfff repository
-
yacfe Public
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.
-
-
-
-
{{ message }}