HGL is a compiler/interpreter suite for developing images. It features its own simple but powerful language, Lua integration, output in various formats as well as runtime input handled by plugins, and easy integration into various environments like Web servers or graphical applications. The input is taken from a source file, which has to be compiled for quick and frequent access by the interpreter. An interpreter then runs the compiled files, takes input from custom plugins (if neccessary), and outputs its result via custom plugins.
Gcmc is a front-end language for generating G-code, SVG, and DXF for CNC mills, lathes, laser cutters, and other numerically controlled machines employing G-code, SVG, or DXF. The language is a context-free grammar created to overcome the archaic format of G-code programming, but can be used more generally for many targets. Gcmc aims to be more readable and understandable than G-code and enable programmatic designing. Gcmc makes extensive use of vector mathematics to support the 3D nature of CNC machining. It handles units as millimeters, mils (inch), degrees, and radians and performs automatic conversions where necessary.
The Voodoo compiler is an implementation of the Voodoo programming language. The Voodoo programming language is a low-level programming language, abstracting over the platform's instruction set and calling conventions, but otherwise leaving the programmer free to do anything at all. The Voodoo compiler supports multiple target platforms and provides a stand-alone compiler, as well as a Ruby module for programmatic code generation.
Java Grinder takes Java byte-code from a class file and compiles it into an assembly code text file that can be assembled and run on microcontrollers and CPUs including MSP430, dsPIC, 6502 (Commodore 64), 68000, ARM, and MIPS. A Java API is provided for dealing with SPI, GPIO, Commodore 64 hardware, and more.
Theano is a Python library that allows you to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently. Theano features tight integration with numpy, transparent use of a GPU, efficient symbolic differentiation, speed and stability optimizations, dynamic C code generation, and extensive unit-testing and self-verification. Theano has been powering large-scale computationally intensive scientific investigations since 2007. But it is also approachable enough to be used in the classroom (IFT6266 at the University of Montreal).
o42a is a high-level general purpose programming language. It is compiled, statically-typed, prototype-based, logic-driven, and primarily declarative, while the imperative programming style is also supported. A program written in o42a is closer to natural English text than one written in any C-like programming language. The language is designed with programming productivity and code maintainability as main priorities. This achieved by powerful, yet restrained, semantics, and expressive and natural syntax.
Nimrod is a statically typed, imperative programming language that tries to give the programmer ultimate power without compromising on runtime efficiency. This means it focuses on compile-time mechanisms in all their various forms. Beneath a nice infix/indentation based syntax with a powerful (AST based, hygienic) macro system lies a semantic model that supports a soft realtime GC on thread local heaps. Asynchronous message passing is used between threads, so no "stop the world" mechanism is necessary. An unsafe shared memory heap is also provided for the increased efficiency that results from that model.
Sappeur is a safe and efficient programming language. The memory safety of Sappeur programs is equivalent to Java or .NET without having the performance penalties of those languages. This is implemented with smart pointers and stack allocation of objects and arrays. Also, arrays of objects and synchronous destructors are possible. Sappeur executables are native code and do not use a garbage collector. The safety properties of Sappeur are assured by a proper type system (which forbids weird pointer casts for example) and runtime checks. This is true for both single- and multithreaded programs. The Sappeur compiler translates programs into safe C++ programs, which makes integration with existing C++ code simple. Finally, Sappeur technology erects another layer of defense against cyber threats.
Metacza is a language and its compiler which produces output in the C++ Meta Template Language. Its concise syntax makes Meta Template Programming much easier. Metacza allows you to write programs using boost::mpl, and to produce C++ header files that can be used on their own. Programming without boost::mpl is also supported. Metacza is a higher order language with closures, let, and lambda.