Statically Typed

TALK is a strictly and statically typed assembly language that is flexible and powerful enough to write operating system kernels. For example, memory management (i.e. malloc/free) and multi-thread management can be implemented in TALK.. Platforms: *nix

TOS is an experimental operating system kernel which is written in our strictly and statically typed assembly language, TALK. Today, computers (PCs, cell-phones, etc.) are widely used in the world and their network become one of the indispensable social infrastructures. Therefore, the... Platforms: *nix

boo is a new object oriented statically typed programming language for the CLI (common language infrastructure) with a python inspired syntax and a special focus on language and compiler extensibility. Platforms: Windows, Mac, Linux

Shed Skin is an experimental compiler, that can translate pure, but implicitly statically typed Python programs into optimized C++. It can generate stand-alone programs or extension modules that can be imported and used in larger Python programs. Besides the typing restriction, programs cannot... Platforms: Windows, Mac, *nix, Python, BSD Solaris

Nimrod is a new statically typed, imperative programming language, that supports procedural, object oriented, functional and generic programming styles while remaining simple and efficient. A special feature that Nimrod inherited from Lisp is that Nimrod's abstract syntax tree (AST) is part of... Platforms: Mac

xsd is a W3C XML Schema to C++ translator. xsd generates a vocabulary-specific, statically-typed C++ mapping (also called binding) from XML Schema definitions. The mapping consists of data types that represent the given vocabulary, a set of parsing functions that convert XML instance documents... Platforms: *nix

Generally, mod_ocaml is a flexible module for use with the famous Apache Web Server. Probably you know how to benefit of other modules with unbelievable capabilities, like PHP (mod_php4) or Perl (mod_perl). One of the advantages of the Apache Server is the possibility to extend its features by... Platforms: *nix

WSDL::Generator is a Perl module to generate wsdl file automagically. SYNOPSIS use WSDL::Generator; my $wsdl = WSDL::Generator->new($init); Foo->a_method($param}; print $wsdl->get(Foo); You know folks out there who use another language than Perl (huh?) and you want to release a SOAP... Platforms: *nix

Variable::Strongly::Typed::Scalar is Perl module for strongly typed scalar. SYNOPSIS This class is utilized by Variable::Strongly::Typed - you dont access this directly =head1 DESCRIPTION. Platforms: *nix

Variable::Strongly::Typed::Validators is Perl module with built-in type validators. SYNOPSIS This class is utilized by Variable::Strongly::Typed - you dont access this directly. This module defines a %conditions hash contained expressions that define the built-in types. If you want to create... Platforms: *nix

Variable::Strongly::Typed is a Perl module to let some variables be strongly typed. SYNOPSIS use Variable::Strongly::Typed; my $int :TYPE(int); # must have an int value my $float :TYPE(float); # must have a float value my $string :TYPE(string); # must not be a reference my $file... Platforms: *nix

Variable::Strongly::Typed::Array is a Perl module for strongly typed array. SYNOPSIS This class is utilized by Variable::Strongly::Typed - you dont access this directly my @array_of_ints :TYPE(int); # Each slot must contain an int my @array_of_rgb :TYPE(&red_green_blue); # my enumerated... Platforms: *nix

WP True Typed dynamically creates an anti-spam challenge question based on the post or page the comment form is on, and prevents the comment from being processed if answered incorrectly. Works as a first line of defense in battling comment spam.Features: * Checks for registered users or... Platforms: PHP

spell-karamba is a desktop applet for SuperKaramba that spells the typed words - letter by letter. You can choose from deutsch, english, american, international and NATO spelling. Installation: Actually the installation is pretty easy: Copy all files from the tarball into a new folder. A... Platforms: *nix

Qore is a modular, multi-threaded, SQL-integrated, weakly- typed scripting language with procedural and object-oriented features, powerful and easy-to-use data types, structures, and operators, and a clean and easy-to-learn/read syntax. Qore Programming Language features Oracle and MySQL DBI... Platforms: *nix

nss-myhostname is a GNU libc NSS module that statically translates the local host name to the IP address 127.0.0.2 (which is on the loopback device) and vice versa. This is useful to make sure that the local host name is always resolvable. Some programs (such as sudo) require this... Platforms: *nix

firefix is an extension which learns and corrects mistyped web addresses typed in the address bar. Learns and corrects mistyped web addresses typed in the address bar. e.g. http://www.dell.con becomes http://www.dell.com http://www.mozillao.rg becomes http://www.mozilla.org It only ever... Platforms: *nix

CTAL_0 is an extension of Typed Assembly Language, and an experimental C compiler that generates CTAL0 assembly code. Usage: 1. First, download the source code and extract it. 2. Next, make in ctalz-software directory. 3. The compiler can be invoked by shell script ctc. If compilation... Platforms: *nix

RiteOfTongue is a Firefox extension that allows you to right-click on a typed word inside a web form to check if the word is spelled correctly and get alternate suggestions if it is wrong. Then select the word from the popup menu to change it. The words are obtained in real-time over the... Platforms: *nix

DABAJAX Toolkit can execute SQL queries to an Oracle database to complete text typed in form fields using parameters passed by javascript code to PHP scripts using AJAX requests.Parameters from different form fields defining filters for the data to be queried, can be passed to the queries. Platforms: PHP