Squeak is an open, highly-portable Smalltalk-80 implementation whose
virtual machine is written entirely in Smalltalk, making it easy to
debug, analyze, and change; it includes among other things:
* a rapid-turn-around Smalltalk-80 compiler,
* a caching-JIT run-time virtual machine (with full source in
Smalltalk),
* large class libraries with portable data and GUI models, and
* an integrated development environment with powerful coding
tools and GUI construction tools.
Squeak was developed at Apple Labs, Walt Disney and has been ported
to a variety of computers (including most flavors of UNIX and Windows).
Compared to other Smalltalk systems, Squeak has 4 important features:
* Portability (to Mac, Windows, WinCE, and many flavors of UNIX);
* Speed (it uses native C for compute-intensive code);
* Price (free, including all source code and the right to distribute
applications!); and
* Sophistication (full Smalltalk-80 language, libraries, and tools).
Squeak comes under an open source license, meaning that you can
download and use it for free.
http://www-sor.inria.fr/~piumarta/squeak/ (Unix Squeak)
SPARK 2014 is a programming language and a set of verification tools
designed to meet the needs of high-assurance software development. SPARK
is based on Ada 2012, both subsetting the language to remove features that
defy verification, but also extending the system of contracts and aspects
to support modular, formal verification.
The new aspects support abstraction and refinement and facilitate deep
static analysis to be performed including information-flow analysis and
formal verification of an implementation against a specification.
SPARK is a much larger and more flexible language than its predecessor
SPARK 2005. The language can be configured to suit a number of application
domains and standards, from server-class high-assurance systems (such as
air-traffic management applications), to embedded, hard real-time,
critical systems (such as avionic systems complying with DO-178C Level A).
A major feature of SPARK is the support for a mixture of proof and other
verification methods such as testing, which facilitates the use of unit
proof in place of unit testing; an approach now formalized in DO-178C and
the DO-333 formal methods supplement. Certain units may be formally proven
and other units validated through testing.
tcbasic implements a small subset of BASIC known as Tiny BASIC.
It provides the following statements and commands: INPUT, PRINT,
LET, GOTO, GOSUB, RETURN, IF, END, CLEAR, LIST, RUN, and STOP.
Integer and floating point arithmetic is supported, and strings
may be PRINTed. The following built-in functions are provided:
SIN, COS, TAN, COT, ATN, EXP, LOG, ABS, SQR, RND.
The small size of the language make it easy to learn and master
while providing all of the building blocks needed to develop many
interesting programs. tcbasic runs on a variety of platforms and
aims to be as portable as possible.
Tiny C Compiler is perhaps the smallest ANSI C compiler, by Fabrice Bellard.
- It is small: you can compile and execute C code everywhere, for example
on rescue disks;
- It is fast! TCC generates optimized x86 code. No byte code overhead.
Compile, assemble, and link about 7 times faster than 'gcc -O0';
- Any C dynamic library can be used directly. TCC is heading towards
full ISO C99 compliance. TCC can of course compile itself;
- It is safe! TCC includes optional memory and bound checker. Bound
checked code can be mixed freely with standard code;
- Compile and execute C source directly. No linking or assembly is
necessary. Full C preprocessor included;
- C script supported: just add '#!/bin/env tcc -run' at the first line
of your C source, and execute it directly from the command line.
These are the manuals for the TCL and TK commands and the TCL and
TK library. They're installed in PREFIX/share/doc/tcl83/contents.htm,
PREFIX/share/doc/tcl84/contents.htm and
PREFIX/share/doc/tcl85/contents.htm.
Tcl-wrapper installs a shell wrapper for the "tclsh" command that
comes with different versions of Tcl. Users can define in a configuration file
which version of the Tcl shell should be called.
Edinburgh-style Prolog compiler including modules, autoload,
libraries, Garbage-collector, stack-expandor, C-interface,
GNU-readline and GNU-Emacs interface, very fast compiler.
The Swift Programming Language
This is Tcl8.4, an embeddable tool command language.
The best way to get started with Tcl is to read ``Tcl and the Tk
Toolkit'' by John K. Ousterhout, Addison-Wesley, ISBN 0-201-63337-X.
A full set of manual pages is also provided with this package.
This is Tcl version 8.5, 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.