Extended Tcl (TclX), is a set of extensions to Tcl, the Tool
Command Language invented by Dr. John Ousterhout of the University
of California at Berkeley. Tcl is a powerful, yet simple embeddable
programming language. Extended Tcl is oriented towards Unix system
programming tasks, with many additional interfaces to the Unix
operating system, It is upwardly compatible with Tcl. You take
the Extended Tcl package, add it to Tcl, and from that you get
Extended Tcl.
This is Tcl version 8.6, an embeddable tool command language.
Tcl (Tool Command Language) is a very powerful but easy to learn dynamic
programming language, suitable for a very wide range of uses, including web
and desktop applications, networking, administration, testing and many more.
Open source and business-friendly, Tcl is a mature yet evolving language that
is truly cross platform, easily deployed and highly extensible.
A full set of manual pages is also provided with this port.
tolua++ is an extended version of tolua, a tool to integrate C/C++ code
with Lua. tolua++ includes new features oriented to c++ such as:
* Support for std::string as a basic type (this can be turned off by a
command line option).
* Support for class templates
As well as other features and bugfixes.
tolua is a tool that greatly simplifies the integration of C/C++ code with
Lua. Based on a cleaned header file (or extracts from real header files),
tolua automatically generates the binding code to access C/C++ features
from Lua. Using Lua API and tag method facilities, tolua maps C/C++
constants, external variables, functions, classes, and methods to Lua.
toLua is a tool that greatly simplifies the integration of C/C++
code with Lua. Based on a "cleaned" header file, toLua automatically
generates the binding code to access C/C++ features from Lua. Using
Lua-5.0 API and tag method facilities, the current version automatically
maps C/C++ constants, external variables, functions, namespace,
classes, and methods to Lua. It also provides facilities to create
Lua modules.
The Twelf implementation comprises
* the LF logical framework, including type reconstruction;
* the Elf constraint logic programming language;
* an inductive meta-theorem prover for LF;
* and an Emacs interface.
Twelf provides a uniform meta-language for specifying,
implementing, and proving properties of programming languages
and logics. Example suites include Cartesian Closed Categories
and lambda-calculus, the Church-Rosser theorem for the untyped
lambda-calculus, Mini-ML including type preservation and
compilation, cut elimination, theory of logic programming,
and Hilbert's deduction theorem.
-- the Twelf home page
Ur is a programming language in the tradition of ML and Haskell, but featuring
a significantly richer type system. Ur is functional, pure, statically-typed,
and strict. Ur supports a powerful kind of metaprogramming based on row types.
Ur/Web is Ur plus a special standard library and associated rules for parsing
and optimization. Ur/Web supports construction of dynamic web applications
backed by SQL databases. The signature of the standard library is such that
well-typed Ur/Web programs "don't go wrong" in a very broad sense. Not only do
they not crash during particular page generations, but they also may not:
* Suffer from any kinds of code-injection attacks
* Return invalid HTML
* Contain dead intra-application links
* Have mismatches between HTML forms and the fields expected by their
handlers
* Include client-side code that makes incorrect assumptions about the
"AJAX"-style services that the remote web server provides
* Attempt invalid SQL queries
* Use improper marshaling or unmarshaling in communication with SQL databases
or between browsers and web servers
This is Tcl version 8.7, an embeddable tool command language.
Tcl (Tool Command Language) is a very powerful but easy to learn dynamic
programming language, suitable for a very wide range of uses, including web
and desktop applications, networking, administration, testing and many more.
Open source and business-friendly, Tcl is a mature yet evolving language that
is truly cross platform, easily deployed and highly extensible.
A full set of manual pages is also provided with this port.
V8 is Google's open source JavaScript engine.
V8 is written in C++ and is used in Google Chrome, the open source browser from
Google.
V8 implements ECMAScript as specified in ECMA-262, 5th edition, and runs on
Windows (XP or newer), Mac OS X (10.5 or newer), and Linux systems that use
IA-32, x64, or ARM processors.
V8 can run standalone, or can be embedded into any C++ application.
Git repository at https://github.com/v8/v8
Vala is a new programming language that aims to bring modern programming
language features to GNOME developers without imposing any additional
runtime requirements and without using a different ABI compared to
applications and libraries written in C.
valac, the Vala compiler, is a self-hosting compiler that translates
Vala source code into C source and header files. It uses the GObject
type system to create classes and interfaces declared in the Vala source
code. It's also planned to generate GIDL files when gobject-
introspection is ready.
Whitespace is a imperative stack-based programming language that,
contrary to most languages, ignores any non-whitespace characters.
Only spaces, tabs, and newlines are considered syntax in Whitespace.
This port is a prototype interpreter for the Whitespace programming
language written in Haskell.