Open Source Mac Programming Languages

NEWS: The MPL language is now completely defined. No more language changes are to be made. The compiler is complete and should be easy to translate to other languages if you so choose. MPL is a small, simple language based on BCPL, B, C and Jesusonic. The compiler and interpreter are written in portable Pascal. I have successfully compiled MPL for CP/M, DOS, Windows, Atari ST, Amiga and the Tandy Colour Computer. MPL is designed to be tiny in every way, while implementing all the important features of BCPL & B. The result is a compiler written in a high level language (PASCAL) which compiles to under 16K (CP/M). The symbol table, language syntax, and bytecode are all optimized for size. I will write a MPL Reference Manual in time. Contact myself if you want to help get that written.

Junicon is a Java-based implementation of Unicon, a very high level object-oriented goal-directed programming language that lives at Unicon.org. Junicon features seamless Java object access, interactive interpretation, and numerous cleanups and enhancements while retaining Unicon's core expression-evaluation semantics. Please see the Junicon Project Web Site for publications about Junicon.

Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration.