The core OCaml system: compilers, runtime system, base libraries
OCaml is a general-purpose, industrial-strength programminglanguage with an emphasis on expressiveness and safety. OCaml’s powerful type system means more bugs are caught at compile-time, and large, complex codebases are easier to maintain. This makes it a good language for running critical code. At the same time, sophisticated inference makes the type system unobtrusive, creating a smooth developer experience.
Newspeak is a simplified programminglanguage, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.
PacLang is a language for programming Network Processors. It aims to make it easy to write high performance networking applications that are portable across a range of target platforms.
PCL-Compiler is a compiler for PCL: a simple Pascal-derived programminglanguage, used for teaching compiler technology in the National Technical University of Athens.