Ports Search

Some of the modules in Tcllib have C-implementations, which are considerably faster than the pure-Tcl ones. This port adds tcllibc, which contains all such available C-versions of Tcllib's modules.

TCLMORE provides a few commands to TCL interpreters and a set of functions accessible through the C interface. It is mostly a base library for other extensions.

The TclOO Package is an implementation of TclOO for Tcl 8.5. It allows users to write code against TclOO without using Tcl 8.6, and originally started out as a way to progress implementation of TclOO without being tightly bound to the Tcl core. The implementation in Tcl 8.6 was later developed from this package's source.

The tclreadline package makes the gnu readline available to the scripting language tcl. The primary purpose of the package is to facilitate the interactive script development by the means of word and file name completion as well as history expansion (well known from shells like bash).

Tcl Thread extension Script-level access to Tcl threading capabilities.

A portable extension that provides the power of OpenSSL to Tcl programs. This extension can be used to utilize SSL encryption on top of any valid Tcl Channel - not just sockets!

The TclVfs project aims to provide an extension to the Tcl language which allows Virtual Filesystems to be built using Tcl scripts only. It is also a repository of such Tcl-implemented filesystems (metakit, zip, ftp, tar, http, webdav, namespace, url)

TclXML is an API for parsing XML documents using the Tcl scripting language. It is also a package with several parser implementations. The goal of the TclXML package is to provide an API for Tcl scripts that allows "Plug-and-Play" parser implementations; ie. an application will be able to use different parser implementations without change to the application code.

Terminality aims to be a cross-platform terminal manipulation library. It provides a set of functions which are used to manipulate a text terminal, functions such as clearing the screen, changing text colours, moving the cursor, etc.

TESLA builds on our experiences developing the TrustedBSD MAC Framework and Capsicum: our most critical security properties are frequently safety (temporal) properties rather than static invariants. Current tools for testing temporal properties are largely static, and unable to work effectively on extremely large C-language software bases, such as multi-million lines-of-code operating system kernels and web browsers. TESLA borrows ideas from model checking, applying them in a dynamic context using compiler-assisted instrumentation to continuously validate temporal security assertions during software execution. We have implemented a prototype of TESLA based on clang/LLVM AST transforms, which is able to test both explicit automata against C implementations (such as protocol state machines in the kernel and OpenSSL) and inline assertions checking for missing access control checks in OS logic.