Shed Skin is an experimental compiler, that can translate pure, but implicitly statically typed Python programs into optimized C++. It can generate stand-alone programs or extension modules that can be imported and used in larger Python programs.
Besides the typing restriction, programs cannot
... [More] freely use the Python standard library (although about 20 common modules, such as random and re, are currently supported). Also, not all Python features, such as nested functions and variable numbers of arguments, are supported (see the tutorial for details).
For a set of 44 non-trivial test programs (at over 10,000 lines in total (sloccount)), measurements show a typical speedup of 2-40 times over Psyco, and 2-220 times over CPython. Because Shed Skin is still in an early stage of development, however, many other programs will not compile out-of-the-box.
Shed Skin consists of only 5,300 lines of Python code (sloccount), and about 16,000 lines of C++ code (implementation of builtins and library modules). Unfortunately, there is still only one active developer, so please consider joining the project! [Less]
Heather is an general-purpose multiparadigm programming language. It is strongly typed, offering type inference and parametric polymorphism ("generics"). It is consequently object oriented (everything is a object, even functions), while its consequent multiple dispatch approach keeps a strong
... [More] functional touch. The object model is class-oriented, supporting multiple inheritance as well as the
separation of types ("protocols", "interfaces") and classes.
The grammar is regular, small, and (mostly) context free. In particular it can be parsed without symbol tables, and does not require a special preprocessor since it offers powerful hygienic macros as part of the language and special support for conditional compilation. [Less]
Whiley is a programming language particularly suited to safety-critical systems. It is a hybrid object-oriented and functional programming language which employs extended static checking to eliminate errors at compile time, including divide-by-zero, array out-of-bounds and null dereference errors.
A JavaScript-to-JavaScript compiler designed to simplify the writing, testing and maintenance of large JavaScript codebases.
Marv is designed to be non-intrusive and features both static and early dynamic detection of numerous errors.
Javarifier divides the variables in a program into two groups: the variables the program mutates, and the variables that are never mutated. In other words, Javarifier infers the immutability of every reference in a Java program. Javarifier uses Javari's definition of immutability. Thus, Javarifier
... [More] converts Java programs and libraries to Javari. [Less]
This site uses cookies to give you the best possible experience.
By using the site, you consent to our use of cookies.
For more information, please see our
Privacy Policy