JavaScript bindings based on gobject-introspection.
Regina is a Rexx interpreter that has been ported to most Unix platforms
(Linux, FreeBSD, Solaris, AIX, HP-UX, etc.) and also to OS/2, eCS, DOS,
Win9x/Me/NT/2k/XP, Amiga, AROS, QNX, BeOS, MacOS X, EPOC32, AtheOS, OpenVMS
and OpenEdition. Rexx is a programming language that was designed to be easy
to use for inexperienced programmers yet powerful enough for experienced
users. It is also a language ideally suited as a macro language for other
applications.
There are two major goals for Regina:
* become 100% compliant with the ANSI Standard.
* be available on as many platforms as possible.
Hugs 98 is a functional programming system based on Haskell 98, the
de facto standard for non-strict functional programming languages.
Hugs 98 provides an almost complete implementation of Haskell 98,
including monad and record syntax, newtypes, strictness annotations,
and modules. In addition, it comes packaged with almost all libraries
defined in the most recent version of the Haskell 98 Library Report.
Hugs 98 also supports a number of advanced and experimental extensions
including multi-parameter classes, extensible records, rank-2
polymorphism, existentials, scoped type variables, and restricted
type synonyms.
Gauche is a Scheme interpreter conforming Revised^5 Report on
Algorithmic Language Scheme. It is designed for rapid development of
daily tools like system management and text processing. It can handle
multibyte character strings natively.
This package contains [incr Tcl] version 3.0.1. [incr Tcl] is an
object oriented extension to Tcl. The [incr Tcl] language is also known as
``itcl''.
A companion to [incr Tcl] called [incr Tk] builds a ``mega-widget''
framework into Tk. The [incr Tk] extension is also known as
``itk'' and is available in x11-toolkits.
[incr Tcl] is the most widely used O-O system for Tcl. The name is a play on
C++, and [incr Tcl] provides a similar object model, including multiple
inheritence and public and private classes and variables.
Harbour is a compiler for the xBase superset language often referred to as
Clipper (the language that is implemented by the CA-Clipper compiler).
KTurtle is an educational programming environment for KDE. KTurtle
aims to make programming as easy and touchable as possible, and
therefore can be used to teach kids the basics of math, geometry
and... programming.
The programming language used in KTurtle is loosely based on Logo.
KTurtle allows, just like some implementations of Logo, to translate
the programming language (the commands, the documentation and the
error messages) to the native language of the programmer. Translating
the programming language to the native language of the programmer is
one of the many ways KTurtle tries to make learning to programming
more simple. Other features to help to achieve this goal are:
intuitive syntax highlighting, simple error messages, integrated
canvas to make drawings on, integrated help function, slow-motion or
step execution, and more.
LuaJIT is a Just-In-Time Compiler for the Lua programming language.
Maude is a high-performance reflective language and system supporting both
equational and rewriting logic specification and programming for a wide range
of applications. Maude has been influenced in important ways by the OBJ3
language, which can be regarded as an equational logic sublanguage. Besides
supporting equational specification and programming, Maude also supports
rewriting logic computation.
Rewriting logic is a logic of concurrent change that can naturally deal with
state and with concurrent computations. It has good properties as a general
semantic framework for giving executable semantics to a wide range of
languages and models of concurrency. In particular, it supports very well
concurrent object-oriented computation. The same reasons making rewriting
logic a good semantic framework make it also a good logical framework, that
is, a metalogic in which many other logics can be naturally represented and
executed.
Maude supports in a systematic and efficient way logical reflection. This
makes Maude remarkably extensible and powerful, supports an extensible algebra
of module composition operations, and allows many advanced metaprogramming and
metalanguage applications. Indeed, some of the most interesting applications
of Maude are metalanguage applications, in which Maude is used to create
executable environments for different logics, theorem provers, languages, and
models of computation.