-
-
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
OCaml Other UpdatedJan 8, 2026 -
semgrep-libs Public
Forked from semgrep/semgrepFast and syntax-aware semantic code pattern search for many languages: like grep but for code
-
-
-
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
-
-
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
-
-
ocaml-elm-playground Public
Port of the Elm playground package to OCaml to make pictures, animations, and even video games easily.
-
ocamltarzan Public
DEPRECATED: Compile Time Reflection or Metaprogramming for OCaml
-
pfff-bytecode Public
Parser for bytecode-like files (.class, .cmt, .clang)
-
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
-
pfff-mini Public
Experiment analysis on mini languages (mini C, mini Java, mini ML)
1 UpdatedDec 13, 2019 -
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 }}