Search Results for "python programming language"

Kaya: A statically typed, imperative cross-platform programming language with type inference, powerful data description capabilities and built-in abstractions and libraries for easy and robust web application development. http://kayalang.org/

In this project we aim to develop scheme libraries for developing various web applications (especially servlets and xml-based web services). Our approach is to use jscheme (an open source implementation of scheme in Java) as the core language which allow

yUba is a programming language for easy Web-application development: (1) yUba creates both client-side code(Javascript) and server-side code(Perl) at once. (2) XML/HTML can be embedded directly in yUba codes without any quotations.

Lazy is a language and a system to publish databases on the Web and to prototype full Web applications. It is based on the declarative specification of hypertext views No imperative programming is required to create a database-backed web site.

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.

Chor is a strongly-typed choreography programming language for distributed systems. In Chor, the behaviour of a system is written down as a global program (a choreography) where all the message exchanges between the participants are explicit. Choreographies are statically checked against protocol specifications, given as types, enabling type-directed global programming. Finally, Chor supports the automatic generation of systems from a choreography. With Chor, you do not have to worry about...