Free Programming Language

X10 project is a new object-oriented, type-safe programming language for programming the next generation of high performance systems. X10 is designed and developed by IBM. While developed in close contact with the designers of X10 at IBM there are significant differences in syntax and semantics...

GvTags is a lightweight yet powerful tag library and template engine for the dynamic programming language Groovy. The tag library can be used to generate Web pages with powerful tag support. GvTags can be used with the template servlet of GvTags (TagTemplateServlet) or with JavaServer Pages...

ChucK is a new audio programming language for real-time synthesis, composition, and performance - fully supported on MacOS X, Windows, and Linux. ChucK presents a new time-based concurrent programming model, which supports a highly precise and fundamental level of expressiveness (we call this...


Platforms: *nix

Bake is a small domain specific programming language for describing how to transform one file into another. Bake uses the typical topological sort, but has features that make describing this relatively easy. Bake has patterns, similar to make, but which are part of the dependency graph (unlike...


Platforms: *nix

eGTK is a binding between the Eiffel programming language and the GTK+ widget toolkit. eGTK works with two compilers: the GNU SmallEiffel compiler and ISE Eiffel (commercial compiler). Gtk+ is a widget toolkit for X-window systems. Gtk+ appears to be the most popular open source toolkit...


Platforms: *nix

Polymorphic XML Parser is a validating XML parser for the programming language Objective Caml. In October, 1999, I started writing a validating XML parser for OCaml; the first published versions have been called "Markup" (simply because the package name was "markup"). After this parser had some...


Platforms: *nix

Alice is a functional programming language based on Standard ML, extended with rich support for concurrent, distributed, and constraint programming..


Platforms: *nix

Caml is a general-purpose programming language, designed with program safety and reliability in mind. It is very expressive, yet easy to learn and use. Caml supports functional, imperative, and object-oriented programming styles. It has been developed and distributed by INRIA, Frances national...


Platforms: *nix

LavaPE is a programming environment for the experimental object-oriented programming language Lava. It replaces text editing with structure editing, thereby preventing all syntactic and many semantic errors. The pure point-and-click nature of Lava programming and the concise representation of...


Platforms: *nix

Hop is a new programming language designed for the Web 2.0. Hop is a higher-order language for programming interactive web applications such as web agendas, web galleries, music players, etc. Hop can be viewed as a replacement for traditional graphical toolkits. HOP is implemented as a Web...


Platforms: *nix

Piet::Interpreter is a Perl interpreter for the Piet programming language. SYNOPSIS use Piet::Interpreter; my $p = Piet::Interpreter->new(image => my_code.gif); $p->run; Piet is a programming language in which programs look like abstract paintings. The language is named after Piet...


Platforms: *nix

Drums++ is a programming language I designed for sequencing music through drum machines. Drums++ program uses simple C ideas, for example // and /* */ comments and { } to seperate sections. I tried to make it as simple as possible so even a non-programmer could use it. See the docs section for...


Platforms: *nix

ACL2 is a programming language in which you can model computer systems and a tool to help you prove properties of those models. ACL2 stands for "A Computational Logic for Applicative Common Lisp". It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been...


Platforms: *nix

DL/SQL is declarative, turing-complete programming language based on top of SQL database. The main idea is to store both program and data in one SQL table and make all the computations in it. The current version of interpreter written in PHP contains quasi-lazy evaluation and simple caching....


Platforms: *nix

GNU Sather is an object-oriented programming language designed to be simple, efficient and safe. This application aims to be appropriate for use in teaching, research, and industry. It was originally based on Eiffel but now incorporates ideas and approaches from several languages. One way of...


Platforms: *nix

Gnocl is a GTK+ and Gnome extension for the programming language Tcl. It provides easy to use commands to build quickly GTK+ / Gnome compliant applications including canvas widget, GConf and applet support.


Platforms: *nix

Java + information flow (Jif in short) is a security-typed programming language that extends Java with support for information flow control and access control, both at compile time and at run time. The source code for the Jif compiler and run-time system is now available for download. Jif is...


Platforms: *nix

C::Sharp is a parser and Lexer for C# Programming Language. SYNOPSIS use C::Sharp; use C::Sharp::Tokener; use C::Sharp::Parser; This module distribution contains (or will contain, when its finished) a tokeniser, parser and, hopefully, compiler for C#. C# is Microsofts new programming...


Platforms: *nix

Sh is a programming language built on top of C++. It can be used to write shaders that run on top of modern graphics processing units (GPUs), or write stream programs that run on GPUs or CPUs. Sh project is implemented as a C++ library, and allows programs to be generated at run-time using a...


Platforms: *nix

Seed7 is a general purpose programming language designed by Thomas Mertes. Seed7 project is a higher level language compared to Ada, C/C++ and Java. The Seed7 interpreter and the example programs are open-source software. An open-source Seed7 compiler is also under development. In Seed7 new...


Platforms: *nix