Ports Search

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.